From c4193199db3ebf94e766aa8749b7b9482fd25169 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 12 Sep 2009 10:31:34 -0400 Subject: Debugging new string urlification --- lib/js/urweb.js | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 7349d2bf..19d549c2 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -473,6 +473,8 @@ function uf(s) { function uu(s) { if (s.length > 0 && s[0] == '_') s = s.substring(1); + else if (s.length >= 3 && s[0] == '%' && s[1] == '5' && (s[2] == 'f' || s[2] == 'F')) + s = s.substring(3); return unescape(s.replace(new RegExp ("\\+", "g"), " ")); } -- cgit v1.2.3