diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:13:36 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:13:36 -0500 |
| commit | ded4989032717188e6102248a34fe39ccbc4e9d1 (patch) | |
| tree | bb6276a3eab9cac23719537b156d861346ccba0f /lib | |
| parent | 9dc3893aca2825d9b34c4d698fddd493fdccb485 (diff) | |
Avoid setting a Date's time with a non-integer value
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 2dff3df6..c5bb58f7 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -331,9 +331,9 @@ var Dt = { function strftime(fmt, thisTime) { var thisDate = new Date(); - thisDate.setTime(thisTime / 1000); + thisDate.setTime(Math.floor(thisTime / 1000)); return Dt.format(thisDate, fmt); -}; +}; // Error handling |