diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-24 14:49:40 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-24 14:49:40 -0400 |
| commit | d17559c6db3578eb7de33c555b348a627366ed37 (patch) | |
| tree | 2eba6c66df24746901bf1e33d5a800fc1576400e /lib | |
| parent | 68d8d8f43e4472070152b583603a2b8c18613ab2 (diff) | |
Client-side 'addSeconds'
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 9834fde6..6343543e 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -113,6 +113,10 @@ function toSeconds(tm) { return Math.round(tm / 1000000); } +function addSeconds(tm, n) { + return tm + n * 1000000; +} + // Error handling |