From cbec909888bdb0837ade29efb199015226f0fcd3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 25 Aug 2009 15:19:00 -0400 Subject: Fix inconsistency in bool URLification between C and JavaScript --- lib/js/urweb.js | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib') 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") { -- cgit v1.2.3