From d46a56f2281e5f992484df00debe8b8f97097e31 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 Dec 2011 15:18:41 -0500 Subject: Make last change nicer --- lib/js/urweb.js | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'lib/js') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index a10c107f..4fee886a 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -969,16 +969,16 @@ function trimZeroes(s) { return s; } - if (s == "0") + if (s.length == 0) return s; else - return {}; + return "0"; } function pi(s) { - s = trimZeroes(s); - var r = parseInt(s); - if (r.toString() == s) + var st = trimZeroes(s); + var r = parseInt(st); + if (r.toString() == st) return r; else er("Can't parse int: " + s); @@ -993,9 +993,9 @@ function pfl(s) { } function pio(s) { - s = trimZeroes(s); - var r = parseInt(s); - if (r.toString() == s) + var st = trimZeroes(s); + var r = parseInt(st); + if (r.toString() == st) return r; else return null; -- cgit v1.2.3