From 10dea359cb906fc9f87c64eb11e0d74c7fe99702 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Dec 2011 10:13:36 -0500
Subject: Avoid setting a Date's time with a non-integer value

---
 lib/js/urweb.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/js')

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
-- 
cgit v1.2.3