diff lib/js/urweb.js @ 1518:883347f5c3c2

Client-side 'addSeconds'
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 14:49:40 -0400
parents 3c0803c1acd7
children ade93cd5bc59
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Jul 24 10:51:48 2011 -0400
+++ b/lib/js/urweb.js	Sun Jul 24 14:49:40 2011 -0400
@@ -113,6 +113,10 @@
     return Math.round(tm / 1000000);
 }
 
+function addSeconds(tm, n) {
+    return tm + n * 1000000;
+}
+
 
 // Error handling