| | 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" |
| | 2 | "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
| | 3 | <html xmlns="http://www.w3.org/1999/xhtml"> |
| | 4 | <!-- |
| | 5 | reliable-chat - multipath chat |
| | 6 | Copyright (C) 2012 Scott Worley <sworley@chkno.net> |
| | 7 | Copyright (C) 2012 Jason Hibbs <skitch@gmail.com> |
| | 8 | |
| | 9 | This program is free software: you can redistribute it and/or modify |
| | 10 | it under the terms of the GNU Affero General Public License as |
| | 11 | published by the Free Software Foundation, either version 3 of the |
| | 12 | License, or (at your option) any later version. |
| | 13 | |
| | 14 | This program is distributed in the hope that it will be useful, |
| | 15 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| | 16 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| | 17 | GNU Affero General Public License for more details. |
| | 18 | |
| | 19 | You should have received a copy of the GNU Affero General Public License |
| | 20 | along with this program. If not, see <http://www.gnu.org/licenses/>. |
| | 21 | --> |
| | 22 | <head> |
| | 23 | <title>Reliable Chat</title> |
| | 24 | <style type="text/css"><!--/*--><![CDATA[/*><!--*/ |
| | 25 | html, body { |
| | 26 | width: 99.9%; |
| | 27 | height: 100%; |
| | 28 | margin: 0; |
| | 29 | padding: 0; |
| | 30 | background-color: #293134; |
| | 31 | color: silver; |
| | 32 | font-family: monospace; |
| | 33 | } |
| | 34 | #container { |
| | 35 | height: 100%; |
| | 36 | } |
| | 37 | #status { |
| | 38 | width: 100%; |
| | 39 | text-align: right; |
| | 40 | background-color: #293134; |
| | 41 | padding: 5px 5px 5px 0px; |
| | 42 | } |
| | 43 | #client { |
| | 44 | width: 98.5%; |
| | 45 | padding: 0px 0px 0px 5px; |
| | 46 | height: 50px; |
| | 47 | position: fixed; |
| | 48 | bottom: 0; |
| | 49 | } |
| | 50 | #input { |
| | 51 | width: 100%; |
| | 52 | background-color: #293134; |
| | 53 | } |
| | 54 | #say { width: 100% } |
| | 55 | #history { |
| | 56 | padding: 0px 5px 55px 5px; |
| | 57 | vertical-align: bottom |
| | 58 | } |
| | 59 | img { width: 1px; height: 1px; } |
| | 60 | iframe { display: none } |
| | 61 | #status span { margin-right: 10px; } |
| | 62 | #status span.sad { |
| | 63 | background-color: #f00; |
| | 64 | color: #fff; |
| | 65 | border: 1px solid black; |
| | 66 | border-radius: 5px; |
| | 67 | padding-left: 5px; |
| | 68 | padding-right: 5px; |
| | 69 | } |
| | 70 | #status span.happy { |
| | 71 | background-color: #0f0; |
| | 72 | color: #000; |
| | 73 | border: 1px solid black; |
| | 74 | border-radius: 5px; |
| | 75 | padding-left: 5px; |
| | 76 | padding-right: 5px; |
| | 77 | } |
| | 78 | /*]]>*/--></style> |
| | 79 | <script type="text/javascript"><!--//--><![CDATA[//><!-- |
| | 80 | var servers = ['chkno.net', 'rc2.chkno.net', 'echto.net', 'the-wes.com', 'vibrantlogic.com']; |
| | 81 | |
| | 82 | var session = Math.random(); // For outgoing message IDs |
| | 83 | var since = {}; // server -> time: For fetch?since= |
| | 84 | var seen = {}; // seen_key -> message |
| | 85 | var history = []; // List of messages sorted by Time |
| | 86 | // Messages have these fields: |
| | 87 | // Time: The timestamp. Median of ServerTimes |
| | 88 | // ID: Some unique string for deduping |
| | 89 | // Text: The text of the message |
| | 90 | // ServerTimes: server -> timestamp |
| | 91 | // UI: The DOM node for this message in the UI |
| | 92 | |
| | 93 | function rcnick() { |
| | 94 | var nick = localStorage.getItem("nick"); |
| | 95 | if (nick) { |
| | 96 | return nick; |
| | 97 | } |
| | 98 | return 'anonymous'; |
| | 99 | } |
| | 100 | |
| | 101 | function rcsetnick(new_nick) { |
| | 102 | localStorage.setItem("nick", new_nick); |
| | 103 | } |
| | 104 | |
| | 105 | function rcserverbase(server) { |
| | 106 | // Add the default port if server doesn't contain a port number already |
| | 107 | if (server.indexOf(":") == -1) { |
| | 108 | return "http://" + server + ":21059"; |
| | 109 | } else { |
| | 110 | return "http://" + server; |
| | 111 | } |
| | 112 | } |
| | 113 | |
| | 114 | function rcchangeserverstatus(server, new_status) { |
| | 115 | var statusbar = document.getElementById("status"); |
| | 116 | var spans = statusbar.getElementsByTagName("span"); |
| | 117 | for (var i in spans) { |
| | 118 | if (spans[i].firstChild && 'data' in spans[i].firstChild && spans[i].firstChild.data == server) { |
| | 119 | spans[i].setAttribute("class", new_status); |
| | 120 | } |
| | 121 | } |
| | 122 | } |
| | 123 | |
| | 124 | function rcformattime(t) { |
| | 125 | var d = t.getDay(); |
| | 126 | d = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"][d]; |
| | 127 | var h = t.getHours(); |
| | 128 | var m = t.getMinutes(); |
| | 129 | var s = t.getSeconds(); |
| | 130 | function pad(x) { |
| | 131 | return (x < 10 ? "0" : "") + x; |
| | 132 | } |
| | 133 | return d + " " + pad(h) + ":" + pad(m) + ":" + pad(s); |
| | 134 | } |
| | 135 | |
| | 136 | function rcaddmessagetohistory(message) { |
| | 137 | var message_i; |
| | 138 | if (message.Time) { |
| | 139 | for (var i = history.length - 1; ; i--) { |
| | 140 | if (i < 0 || (history[i].Time && message.Time >= history[i].Time)) { |
| | 141 | message_i = i+1; |
| | 142 | history.splice(message_i, 0, message); |
| | 143 | break; |
| | 144 | } |
| | 145 | } |
| | 146 | } else { |
| | 147 | history.push(message); |
| | 148 | message_i = history.length-1; |
| | 149 | } |
| | 150 | |
| | 151 | if (!message.UI) { |
| | 152 | var text = (message.Time ? rcformattime(message.Time) : "") + " " + message.Text; |
| | 153 | message.UI = document.createElement("div"); |
| | 154 | message.UI.appendChild(document.createTextNode(text)); |
| | 155 | } |
| | 156 | var h = document.getElementById("history"); |
| | 157 | if (message_i + 1 < history.length) { |
| | 158 | h.insertBefore(message.UI, history[message_i + 1].UI); |
| | 159 | } else { |
| | 160 | h.appendChild(message.UI); |
| | 161 | } |
| | 162 | window.scrollTo(0, document.body.scrollHeight); |
| | 163 | } |
| | 164 | |
| | 165 | function make_seen_key(id, text) { |
| | 166 | return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@"); |
| | 167 | } |
| | 168 | |
| | 169 | function rcupdatemessagetime(message) { |
| | 170 | // Set message.Time to be the median of message.ServerTimes |
| | 171 | var times = []; |
| | 172 | for (var i in message.ServerTimes) { |
| | 173 | times.push(message.ServerTimes[i]); |
| | 174 | } |
| | 175 | times.sort(); |
| | 176 | var middle = times.length/2; |
| | 177 | if (times.length % 2) { |
| | 178 | message.Time = times[middle]; |
| | 179 | } else { |
| | 180 | var difference = times[middle].getTime() - times[middle-1].getTime(); |
| | 181 | message.Time = new Date(times[middle-1].getTime() + difference/2); |
| | 182 | } |
| | 183 | |
| | 184 | // This may have broken history's in-sorted-order invariant |
| | 185 | var hi = history.indexOf(message); |
| | 186 | if ((history[hi-1] && history[hi-1].Time > message.Time) || |
| | 187 | (history[hi+1] && history[hi+1].Time < message.Time)) { |
| | 188 | history.splice(hi,1); |
| | 189 | rcaddmessagetohistory(message); |
| | 190 | } |
| | 191 | } |
| | 192 | |
| | 193 | function rcreceivemessages(server, messages) { |
| | 194 | for (var i in messages) { |
| | 195 | var m = messages[i]; |
| | 196 | m.Time = new Date(m.Time); |
| | 197 | var seen_key = make_seen_key(m.ID, m.Text); |
| | 198 | if (seen_key in seen) { |
| | 199 | seen[seen_key].ServerTimes[server] = m.Time; |
| | 200 | rcupdatemessagetime(seen[seen_key]); |
| | 201 | } else { |
| | 202 | m.ServerTimes = {}; |
| | 203 | m.ServerTimes[server] = m.Time; |
| | 204 | seen[seen_key] = m; |
| | 205 | rcaddmessagetohistory(m); |
| | 206 | for (var i in servers) { |
| | 207 | rcchangeserverstatus(servers[i], "sad"); |
| | 208 | } |
| | 209 | } |
| | 210 | rcchangeserverstatus(server, "happy"); |
| | 211 | } |
| | 212 | } |
| | 213 | |
| | 214 | function rcfetch(server) { |
| | 215 | var delay = 10000; // TODO: Exponential backoff |
| | 216 | var xhr = new XMLHttpRequest(); |
| | 217 | xhr.onreadystatechange = function() { |
| | 218 | if (this.readyState == this.DONE) { |
| | 219 | if (this.status == 200) { |
| | 220 | var rtxt = this.responseText; |
| | 221 | if (rtxt != null) { |
| | 222 | var messages = JSON.parse(rtxt); |
| | 223 | if (messages != null) { |
| | 224 | delay = 40; |
| | 225 | if (messages.length >= 1 && "Time" in messages[messages.length-1]) { |
| | 226 | since[server] = messages[messages.length-1].Time; |
| | 227 | } |
| | 228 | rcreceivemessages(server, messages); |
| | 229 | } |
| | 230 | } |
| | 231 | } |
| | 232 | window.setTimeout(rcfetch, delay, server); |
| | 233 | } |
| | 234 | } |
| | 235 | var uri = rcserverbase(server) + "/fetch"; |
| | 236 | if (server in since) { |
| | 237 | uri += '?since="' + since[server] + '"'; |
| | 238 | } |
| | 239 | xhr.open("GET", uri); |
| | 240 | xhr.send(); |
| | 241 | } |
| | 242 | |
| | 243 | function rcconnect() { |
| | 244 | for (var i in servers) { |
| | 245 | rcfetch(servers[i]); |
| | 246 | // Status bar entry |
| | 247 | var status_indicator = document.createElement("span"); |
| | 248 | status_indicator.appendChild(document.createTextNode(servers[i])); |
| | 249 | status_indicator.setAttribute("class", "sad"); |
| | 250 | document.getElementById("status").appendChild(status_indicator); |
| | 251 | } |
| | 252 | } |
| | 253 | |
| | 254 | function rcsend(d, message) { |
| | 255 | message.ID = new Date().getTime() + "-" + session + "-" + Math.random(); |
| | 256 | seen[make_seen_key(message.ID, message.Text)] = message; |
| | 257 | var path = "/speak" + |
| | 258 | "?id=" + encodeURIComponent(message.ID) + |
| | 259 | "&text=" + encodeURIComponent(message.Text); |
| | 260 | for (var i in servers) { |
| | 261 | var uri = rcserverbase(servers[i]) + path; |
| | 262 | var img = document.createElement("img"); |
| | 263 | img.setAttribute("src", uri); |
| | 264 | d.appendChild(img); |
| | 265 | } |
| | 266 | } |
| | 267 | |
| | 268 | function rcinput(input) { |
| | 269 | var message; |
| | 270 | var re = /^\/([a-z]+) (.*)/ |
| | 271 | var match = re.exec(input); |
| | 272 | if (match && match[1] == 'me') { |
| | 273 | message = "* " + rcnick() + " " + match[2]; |
| | 274 | } else if (match && match[1] == 'nick') { |
| | 275 | message = "*** " + rcnick() + " is now known as " + match[2]; |
| | 276 | rcsetnick(match[2]); |
| | 277 | } else { |
| | 278 | message = "<" + rcnick() + "> " + input; |
| | 279 | } |
| | 280 | |
| | 281 | var m = {'Text': message, 'ServerTimes': {}}; |
| | 282 | rcaddmessagetohistory(m); |
| | 283 | rcsend(m.UI, m); |
| | 284 | } |
| | 285 | |
| | 286 | function rckeydown(event) { |
| | 287 | if (event.keyCode == 13) { |
| | 288 | rcinput(document.input.say.value); |
| | 289 | document.input.say.value = ""; |
| | 290 | |
| | 291 | } |
| | 292 | } |
| | 293 | //--><!]]></script> |
| | 294 | |
| | 295 | </head> |
| | 296 | |
| | 297 | <body onload="rcconnect()"> |
| | 298 | <div id="container"> |
| | 299 | <div id="history"></div> |
| | 300 | <div id="client"> |
| | 301 | <div id="input"> |
| | 302 | <form name="input" onsubmit="return false" autocomplete="off"> |
| | 303 | <input id="say" onkeydown="return rckeydown(event)" autocomplete="off" autofocus="autofocus"></input> |
| | 304 | </form></div> |
| | 305 | <div id="status"> </div> |
| | 306 | </div> |
| | 307 | </div> |
| | 308 | </body> |
| | 309 | </html> |
projects / reliable-chat / blame_incremental