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 | c2390ec66aed4fe73a7641ccc2141b0aec5aa733 (patch) | |
| tree | 8c020dc4fcfc5dc64141f5158ab9c9410a2e075f /lib/js | |
| parent | b17e821a36b67602778996dbf5ca7424a9f29c8e (diff) | |
Fix inconsistency in bool URLification between C and JavaScript
Diffstat (limited to 'lib/js')
| -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") { |