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 <james.leddy@mongodb.com>
This commit is contained in:
James M Leddy 2024-08-06 13:41:42 -04:00
parent 22bfc8ac69
commit 0db9d66a24
No known key found for this signature in database
GPG Key ID: 144D32310529F614
5 changed files with 1 additions and 1 deletions

View File

@ -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

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.