diff lib/js/urweb.js @ 912:771449d8b411

Fix inconsistency in bool URLification between C and JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 15:19:00 -0400
parents 7a4b026e45dd
children 552c989c1601
line wrap: on
line diff
--- a/lib/js/urweb.js	Tue Aug 25 14:50:19 2009 -0400
+++ b/lib/js/urweb.js	Tue Aug 25 15:19:00 2009 -0400
@@ -471,6 +471,10 @@
   return unescape(s.replace(new RegExp ("\\+", "g"), " "));
 }
 
+function ub(b) {
+  return b ? "1" : "0";
+}
+
 function uul(getToken, getData) {
   var tok = getToken();
   if (tok == "Nil") {