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 | 10dea359cb906fc9f87c64eb11e0d74c7fe99702 (patch) | |
| tree | bb6276a3eab9cac23719537b156d861346ccba0f /lib | |
| parent | f944c1f6dd0f0161b7e8aa5d6f8dbc721164d462 (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 |