diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
commit | a15fb9e7b0144368daa168babb283a664118e87f (patch) | |
tree | d19b9706c7ff2c9e023d8ed9a188e75d35598759 /lib/js/urweb.js | |
parent | d56d51bc9a29262682cb08ecd1f6df7886d95850 (diff) |
Add client-side Basis.now and pretty-printing of times
Diffstat (limited to 'lib/js/urweb.js')
-rw-r--r-- | lib/js/urweb.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 35a62d76..272ba32b 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -93,6 +93,19 @@ function length(ls) { } +// Time + +function showTime(tm) { + var newDate = new Date(); + newDate.setTime(tm / 1000); + return newDate.toUTCString(); +} + +function now() { + return (new Date()).getTime() * 1000; +} + + // Error handling function whine(msg) { |