Make last change nicer

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;