Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 76ad76fa..9834fde6 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -105,6 +105,14 @@ function now() {
     return (new Date()).getTime() * 1000;
 }
 
+function diffInSeconds(tm1, tm2) {
+    return Math.round((tm2 - tm1) / 1000000);
+}
+
+function toSeconds(tm) {
+    return Math.round(tm / 1000000);
+}
+
 
 // Error handling