diff --git a/src/core/util.ml b/src/core/util.ml index 38d9bbb9..c7048f01 100644 --- a/src/core/util.ml +++ b/src/core/util.ml @@ -6,7 +6,8 @@ let percent_encode ?(skip = fun _ -> false) s = | ( ' ' | '!' | '"' | '#' | '$' | '%' | '&' | '\'' | '(' | ')' | '*' | '+' | ',' | '/' | ':' | ';' | '=' | '?' | '@' | '[' | ']' | '~' ) as c -> Printf.bprintf buf "%%%X" (Char.code c) - | c when Char.code c > 127 -> Printf.bprintf buf "%%%X" (Char.code c) + | c when Char.code c < 32 || Char.code c > 127 -> + Printf.bprintf buf "%%%X" (Char.code c) | c -> Buffer.add_char buf c) s; Buffer.contents buf