summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 15:19:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-25 15:19:00 -0400
commitcbec909888bdb0837ade29efb199015226f0fcd3 (patch)
tree8c020dc4fcfc5dc64141f5158ab9c9410a2e075f /lib
parente0d2bc5de775c9b87ec5402ef5a0d14eba9cc570 (diff)
Fix inconsistency in bool URLification between C and JavaScript
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index ef2c7b49..251f64ba 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -471,6 +471,10 @@ function uu(s) {
return unescape(s.replace(new RegExp ("\\+", "g"), " "));
}
+function ub(b) {
+ return b ? "1" : "0";
+}
+
function uul(getToken, getData) {
var tok = getToken();
if (tok == "Nil") {