comparison lib/js/urweb.js @ 927:d136bc34e4ca

Debugging new string urlification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 12 Sep 2009 10:31:34 -0400
parents 552c989c1601
children 7710f65935b6
comparison
equal deleted inserted replaced
925:552c989c1601 927:d136bc34e4ca
471 } 471 }
472 472
473 function uu(s) { 473 function uu(s) {
474 if (s.length > 0 && s[0] == '_') 474 if (s.length > 0 && s[0] == '_')
475 s = s.substring(1); 475 s = s.substring(1);
476 else if (s.length >= 3 && s[0] == '%' && s[1] == '5' && (s[2] == 'f' || s[2] == 'F'))
477 s = s.substring(3);
476 return unescape(s.replace(new RegExp ("\\+", "g"), " ")); 478 return unescape(s.replace(new RegExp ("\\+", "g"), " "));
477 } 479 }
478 480
479 function ub(b) { 481 function ub(b) {
480 return b ? "1" : "0"; 482 return b ? "1" : "0";