X-Git-Url: http://git.scottworley.com/reliable-chat/blobdiff_plain/5419ea4ca0d267481834102fe51f8ca0c706486b..7f54ca0afcd01093cafcee969b6272ec5c05f542:/webclient/rc.html diff --git a/webclient/rc.html b/webclient/rc.html index 8094f41..c3284da 100644 --- a/webclient/rc.html +++ b/webclient/rc.html @@ -82,10 +82,12 @@ var session = Math.random(); // For outgoing message IDs var since = {}; // server -> time: For fetch?since= var seen = {}; // seen_key -> message + var history = []; // List of messages sorted by Time // Messages have these fields: - // Time: The server timestamp of the first copy to arrive + // Time: The timestamp. Median of ServerTimes // ID: Some unique string for deduping // Text: The text of the message + // ServerTimes: server -> timestamp // UI: The DOM node for this message in the UI function rcnick() { @@ -132,11 +134,29 @@ } function rcaddmessagetohistory(message) { - message.UI = document.createElement("div"); + var message_i; + if (message.Time) { + for (var i = history.length - 1; ; i--) { + if (i < 0 || (history[i].Time && message.Time >= history[i].Time)) { + message_i = i+1; + history.splice(message_i, 0, message); + break; + } + } + } else { + history.push(message); + message_i = history.length-1; + } + var text = (message.Time ? rcformattime(message.Time) : "") + " " + message.Text; + message.UI = document.createElement("div"); message.UI.appendChild(document.createTextNode(text)); var h = document.getElementById("history"); - h.appendChild(message.UI); + if (message_i + 1 < history.length) { + h.insertBefore(message.UI, history[message_i + 1].UI); + } else { + h.appendChild(message.UI); + } window.scrollTo(0, document.body.scrollHeight); } @@ -144,12 +164,33 @@ return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@"); } + function rcupdatemessagetime(message) { + // Set message.Time to be the median of message.ServerTimes + var times = []; + for (var i in message.ServerTimes) { + times.push(message.ServerTimes[i]); + } + times.sort(); + var middle = times.length/2; + if (times.length % 2) { + message.Time = times[middle]; + } else { + var difference = times[middle].getTime() - times[middle-1].getTime(); + message.Time = new Date(times[middle-1].getTime() + difference/2); + } + } + function rcreceivemessages(server, messages) { for (var i in messages) { var m = messages[i]; m.Time = new Date(m.Time); var seen_key = make_seen_key(m.ID, m.Text); - if (!(seen_key in seen)) { + if (seen_key in seen) { + seen[seen_key].ServerTimes[server] = m.Time; + rcupdatemessagetime(seen[seen_key]); + } else { + m.ServerTimes = {}; + m.ServerTimes[server] = m.Time; seen[seen_key] = m; rcaddmessagetohistory(m); for (var i in servers) { @@ -201,11 +242,11 @@ } function rcsend(d, message) { - var id = new Date().getTime() + "-" + session + "-" + Math.random(); - seen[make_seen_key(id, message)] = message; + message.ID = new Date().getTime() + "-" + session + "-" + Math.random(); + seen[make_seen_key(message.ID, message.Text)] = message; var path = "/speak" + - "?id=" + encodeURIComponent(id) + - "&text=" + encodeURIComponent(message); + "?id=" + encodeURIComponent(message.ID) + + "&text=" + encodeURIComponent(message.Text); for (var i in servers) { var uri = rcserverbase(servers[i]) + path; var img = document.createElement("img"); @@ -227,7 +268,7 @@ message = "<" + rcnick() + "> " + input; } - var m = {'Text': message}; + var m = {'Text': message, 'ServerTimes': {}}; rcaddmessagetohistory(m); rcsend(m.UI, m); }