From b5760c94086bb4856b336b641146aa0bd1812857 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 13 Sep 2013 10:18:24 +0200
Subject: [PATCH] message timestamping : drop date but shows milliseconds

---
 plugins/messages/static/js/messages.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/plugins/messages/static/js/messages.js b/plugins/messages/static/js/messages.js
index 47c2ba17..ad19b9e6 100644
--- a/plugins/messages/static/js/messages.js
+++ b/plugins/messages/static/js/messages.js
@@ -69,7 +69,10 @@
 	    html += "<li class='" + level +"'"; 
 	    if ( ! this.is_active(level) ) html += " style='display:none'";
 	    html += ">";
-	    html += "<span class='messages-date'>" + new Date() + "</span>";
+	    html += "<span class='messages-date'>";
+	    d=new Date();
+	    html += d.getHours() + ":" +d.getMinutes() + ":" + d.getSeconds() + "--" + d.getMilliseconds();
+	    html += "</span>";
 	    html += "<span class='messages-level'>" + level + "</span>";
 	    //	html += "[" + domid + "]";
 	    html += " " + incoming + "</li>";
-- 
2.43.0