diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-12 10:31:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-12 10:31:34 -0400 |
| commit | 9d903b49df5d67d0239ab232bc8951e6c301f504 (patch) | |
| tree | 7635716fbecf152b55f40adb6927e46312feeb05 /lib | |
| parent | 1273fb96a25f6f0521b27d97ccb92d0d82668f0f (diff) | |
Debugging new string urlification
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 2 |
1 files changed, 2 insertions, 0 deletions
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"), " ")); } |