# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1311533380 14400
# Node ID 883347f5c3c20bf4c47c24f59fb87f3b03523b1c
# Parent  27b8c0a460cf30d92e7c6a5729e80f47765e7739
Client-side 'addSeconds'

diff -r 27b8c0a460cf -r 883347f5c3c2 lib/js/urweb.js
--- 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
 
diff -r 27b8c0a460cf -r 883347f5c3c2 src/settings.sml
--- a/src/settings.sml	Sun Jul 24 10:51:48 2011 -0400
+++ b/src/settings.sml	Sun Jul 24 14:49:40 2011 -0400
@@ -254,6 +254,7 @@
                           ("timeToString", "showTime"),
                           ("htmlifyTime", "showTime"),
                           ("toSeconds", "toSeconds"),
+                          ("addSeconds", "addSeconds"),
                           ("diffInSeconds", "diffInSeconds")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls