diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 15:19:00 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 15:19:00 -0400 |
commit | cbec909888bdb0837ade29efb199015226f0fcd3 (patch) | |
tree | 8c020dc4fcfc5dc64141f5158ab9c9410a2e075f /lib | |
parent | e0d2bc5de775c9b87ec5402ef5a0d14eba9cc570 (diff) |
Fix inconsistency in bool URLification between C and JavaScript
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 4 |
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") { |