Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 4fee886a..a3976fef 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -143,7 +143,7 @@ function addSeconds(tm, n) {
 function stringToTime_error(string) {
     var t = Date.parse(string);
     if (isNaN(t))
-        onFail("Invalid date string: " + string);
+        er("Invalid date string: " + string);
     else
         return t * 1000;
 }
@@ -962,7 +962,7 @@ function strlenGe(s, len) {
 
 function trimZeroes(s) {
     for (var i = 0; i < s.length; ++i)
-        if (s[i] != '0') {
+        if (s.charAt(i) != '0') {
             if (i > 0)
                 return s.substring(i);
             else