From 66b29e97f7f07d34df3b903ac13c81e5cb005fa2 Mon Sep 17 00:00:00 2001
From: Scott Worley <sworley@chkno.net>
Date: Sat, 4 Aug 2012 16:48:22 -0700
Subject: [PATCH] Put the date in the hover as well
---
webclient/rc.html | 23 +++++++++++++++--------
1 file changed, 15 insertions(+), 8 deletions(-)
diff --git a/webclient/rc.html b/webclient/rc.html
index 36c0c10..01dc168 100644
--- a/webclient/rc.html
+++ b/webclient/rc.html
@@ -147,27 +147,34 @@
}
}
+ function rcpad2(x) {
+ return (x < 10 ? "0" : "") + x;
+ }
+ function rcpad3(x) {
+ return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
+ }
+
function rcformattime(t) {
var d = t.getDay();
d = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"][d];
var h = t.getHours();
var m = t.getMinutes();
var s = t.getSeconds();
- function pad(x) {
- return (x < 10 ? "0" : "") + x;
- }
- return d + " " + pad(h) + ":" + pad(m) + ":" + pad(s);
+ return d + " " + rcpad2(h) + ":" + rcpad2(m) + ":" + rcpad2(s);
}
function rcaddservertimestamptohover(message, server) {
var divs = message.UI.getElementsByTagName("div");
+ var t = message.ServerTimes[server];
for (var i in divs) {
if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
var d = document.createElement("div");
- function pad(x) {
- return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
- }
- var text = rcformattime(message.ServerTimes[server]) + "." + pad(message.ServerTimes[server].getUTCMilliseconds()) + " " + server;
+ var text = t.getFullYear() + "-" +
+ rcpad2(t.getMonth()) + "-" +
+ rcpad2(t.getDay()) + " " +
+ rcformattime(t) + "." +
+ rcpad3(t.getMilliseconds()) + " " +
+ server;
d.appendChild(document.createTextNode(text));
divs[i].appendChild(d);
}
--
2.47.2