timeFormat .urp directive

1 files changed, 7 insertions, 4 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 5f1566a3..c6e55907 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -114,11 +114,14 @@ function round(n) {
 
 // Time, represented as counts of microseconds since the epoch
 
+var time_format = "%c";
+
 function showTime(tm) {
-    var newDate = new Date();
-    newDate.setTime(tm / 1000);
-    var r = newDate.toUTCString();
-    return r;
+    return strftime(time_format, tm);
+}
+
+function showTimeHtml(tm) {
+    return eh(showTime(tm));
 }
 
 function now() {