Permalink
Browse files

[fix] uriParser: allow space character in path

  • Loading branch information...
1 parent 7870f0b commit dbfe8bc6a58b7bc802d7b006ca37e3ef41eaf7d8 @Aqua-Ye Aqua-Ye committed Apr 10, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 stdlib/core/web/core/uri.opa
@@ -191,7 +191,7 @@ UriParser =
chars_query = parser v=uric_query+ -> String.flatten(v)
opt_chars_query = parser v=uric_query* -> String.flatten(v)
- uric_path = parser a=unreserved -> a | a=escaped -> a;
+ uric_path = parser a=unreserved -> a | a=escaped -> a | " " -> " ";
chars_path = parser v=uric_path+ -> String.flatten(v)
uric_mailto = parser a=uric -> a | t=("@") -> Text.to_string(t);

0 comments on commit dbfe8bc

Please sign in to comment.