diff options
-rw-r--r-- | lib/js/urweb.js | 16 |
1 files changed, 8 insertions, 8 deletions
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; |