Avoid setting a Date's time with a non-integer value

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