ui: Decode "+" in the query parameters as "%20"

I just copied the solution from here since it's been a while since using functional languages and I didn't know the order of the parser, but I suspect there are much better places to put this, including repacing in `rest` above Signed-off-by: James M Leddy <[email protected]>
prometheus · Aug 6, 2024 · 0db9d66 · 0db9d66
1 parent 22bfc8a
commit 0db9d66
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 1 deletion.
diff --git a/ui/app/src/Parsing.elm b/ui/app/src/Parsing.elm
@@ -34,7 +34,7 @@ urlParser url =
                 h :: rest ->
                     ( h, Just (String.concat rest) )
     in
-    case parse routeParser { url | query = query, fragment = Nothing, path = path } of
+    case parse routeParser { url | query = Maybe.map (String.replace "+" "%20") query, fragment = Nothing, path = path } of
         Just route ->
             route
 

diff --git a/ui/react-app/dist/97.js.gz b/ui/react-app/dist/97.js.gz
diff --git a/ui/react-app/dist/97.js.map.gz b/ui/react-app/dist/97.js.map.gz
diff --git a/ui/react-app/dist/main.js.gz b/ui/react-app/dist/main.js.gz
diff --git a/ui/react-app/dist/main.js.map.gz b/ui/react-app/dist/main.js.map.gz