]> git.scottworley.com Git - reliable-chat/blame - webclient/rc.html
Monotonic clock
[reliable-chat] / webclient / rc.html
CommitLineData
827f21bb
SW
1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
2 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
827f21bb 3<html xmlns="http://www.w3.org/1999/xhtml">
520c21fd
SW
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-->
827f21bb
SW
22<head>
23 <title>Reliable Chat</title>
0248a518 24 <style type="text/css"><!--/*--><![CDATA[/*><!--*/
70f46223 25 html, body {
19724ebd 26 width: 100%;
70f46223
JH
27 height: 100%;
28 margin: 0;
29 padding: 0;
b22a2ced
JH
30 background-color: #293134;
31 color: silver;
70f46223
JH
32 font-family: monospace;
33 }
e04a2cfd 34 a {
63b1551b 35 color: #ddd;
e04a2cfd 36 }
70f46223
JH
37 #container {
38 height: 100%;
39 }
40 #status {
41 width: 100%;
638866e9 42 text-align: right;
b22a2ced 43 background-color: #293134;
70f46223
JH
44 padding: 5px 5px 5px 0px;
45 }
46 #client {
19724ebd 47 width: 100%;
70f46223
JH
48 position: fixed;
49 bottom: 0;
50 }
51 #input {
52 width: 100%;
b22a2ced 53 background-color: #293134;
70f46223 54 }
0248a518 55 #say { width: 100% }
70f46223 56 #history {
19724ebd
SW
57 padding: 0px 5px 30px 5px;
58 vertical-align: bottom;
70f46223 59 }
5afebfc6
SW
60 .banner {
61 font-size: 85%;
62 text-align: right;
63 }
c0aac85a 64 .servercount {
33fdb071 65 margin-right: -0.5em;
c0aac85a
SW
66 font-size: 70%;
67 }
244a78af
SW
68 .timestamp:hover, .timestamp:hover .servertimestamps {
69 background-color: #556;
70 }
71 .timestamp:hover .servertimestamps {
72 display: block;
73 }
74 .servertimestamps {
75 display: none;
76 position: absolute;
77 left: 3em;
78 z-index: 1;
79 border: 1px solid black;
80 border-radius: 5px;
81 padding-left: 5px;
82 padding-right: 5px;
83 }
0248a518
SW
84 img { width: 1px; height: 1px; }
85 iframe { display: none }
70f46223 86 #status span { margin-right: 10px; }
f09c4ede
JH
87 #status span.sad {
88 background-color: #f00;
89 color: #fff;
90 border: 1px solid black;
91 border-radius: 5px;
92 padding-left: 5px;
93 padding-right: 5px;
94 }
95 #status span.happy {
96 background-color: #0f0;
97 color: #000;
98 border: 1px solid black;
99 border-radius: 5px;
100 padding-left: 5px;
101 padding-right: 5px;
102 }
19724ebd
SW
103
104 /* BEGIN expando input box trick kindly provided by http://www.alistapart.com/articles/expanding-text-areas-made-elegant/ */
105 .expandingArea {
106 position: relative;
107 border: 1px solid #888;
63b1551b 108 background: silver;
19724ebd
SW
109 }
110 .expandingArea > textarea,
111 .expandingArea > pre {
112 margin: 0;
113 outline: 0;
114 border: 0;
115 padding: 5px;
116 background: transparent;
117 font: 400 13px/16px helvetica, arial, sans-serif;
118 /* Make the text soft-wrap */
119 white-space: pre-wrap;
120 word-wrap: break-word;
121 }
122 .expandingArea > textarea {
123 /* The border-box box model is used to allow
124 * padding whilst still keeping the overall width
125 * at exactly that of the containing element.
126 */
127 -webkit-box-sizing: border-box;
128 -moz-box-sizing: border-box;
129 -ms-box-sizing: border-box;
130 box-sizing: border-box;
131 width: 100%;
132 /* Hide any scrollbars */
133 overflow: hidden;
134 position: absolute;
135 top: 0;
136 left: 0;
137 height: 100%;
138 /* Remove WebKit user-resize widget */
139 resize: none;
140 }
141 .expandingArea > pre {
142 display: block;
143 /* Hide the text; just using it for sizing */
144 visibility: hidden;
145 }
146 /* END expando input box trick kindly provided by http://www.alistapart.com/articles/expanding-text-areas-made-elegant/ */
147
0248a518
SW
148 /*]]>*/--></style>
149 <script type="text/javascript"><!--//--><![CDATA[//><!--
b669fb70 150 var servers = ['chkno.net', 'rc2.chkno.net', 'reliablechat-chk.rhcloud.com:80', 'intense-basin-3395.herokuapp.com:80', 'echto.net', 'the-wes.com', 'vibrantlogic.com'];
0248a518 151
da9ce2ab 152 var session = Math.random(); // For outgoing message IDs
869430fa
SW
153 var since = {}; // server -> time: For fetch?since=
154 var seen = {}; // seen_key -> message
7f54ca0a 155 var history = []; // List of messages sorted by Time
5419ea4c 156 // Messages have these fields:
40380bd3 157 // Time: The timestamp. Median of ServerTimes
5419ea4c
SW
158 // ID: Some unique string for deduping
159 // Text: The text of the message
705e26cf 160 // ServerTimes: server -> timestamp
5419ea4c 161 // UI: The DOM node for this message in the UI
0248a518
SW
162
163 function rcnick() {
164 var nick = localStorage.getItem("nick");
165 if (nick) {
166 return nick;
167 }
168 return 'anonymous';
169 }
170
171 function rcsetnick(new_nick) {
172 localStorage.setItem("nick", new_nick);
173 }
174
175 function rcserverbase(server) {
176 // Add the default port if server doesn't contain a port number already
177 if (server.indexOf(":") == -1) {
178 return "http://" + server + ":21059";
179 } else {
180 return "http://" + server;
181 }
182 }
183
184 function rcchangeserverstatus(server, new_status) {
185 var statusbar = document.getElementById("status");
186 var spans = statusbar.getElementsByTagName("span");
187 for (var i in spans) {
188 if (spans[i].firstChild && 'data' in spans[i].firstChild && spans[i].firstChild.data == server) {
189 spans[i].setAttribute("class", new_status);
190 }
191 }
192 }
193
66b29e97
SW
194 function rcpad2(x) {
195 return (x < 10 ? "0" : "") + x;
196 }
197 function rcpad3(x) {
198 return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
199 }
200
bd1ed9dd
SW
201 function rcformattime(t) {
202 var d = t.getDay();
203 d = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"][d];
204 var h = t.getHours();
205 var m = t.getMinutes();
206 var s = t.getSeconds();
66b29e97 207 return d + " " + rcpad2(h) + ":" + rcpad2(m) + ":" + rcpad2(s);
bd1ed9dd
SW
208 }
209
244a78af
SW
210 function rcaddservertimestamptohover(message, server) {
211 var divs = message.UI.getElementsByTagName("div");
66b29e97 212 var t = message.ServerTimes[server];
244a78af
SW
213 for (var i in divs) {
214 if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
215 var d = document.createElement("div");
66b29e97
SW
216 var text = t.getFullYear() + "-" +
217 rcpad2(t.getMonth()) + "-" +
218 rcpad2(t.getDay()) + " " +
219 rcformattime(t) + "." +
220 rcpad3(t.getMilliseconds()) + " " +
221 server;
244a78af
SW
222 d.appendChild(document.createTextNode(text));
223 divs[i].appendChild(d);
224 }
225 }
226 }
227
bf8f6a39
SW
228 function rcmakemessageUI(message) {
229 message.UI = document.createElement("div");
230
231 // Server count
232 var servercount = document.createElement("span");
233 servercount.setAttribute("class", "servercount");
234 servercount.appendChild(document.createTextNode(Object.keys(message.ServerTimes).length));
235 message.UI.appendChild(servercount);
33fdb071 236 message.UI.appendChild(document.createTextNode(" "));
bf8f6a39
SW
237
238 // Timestamp
239 var timestamp_text = message.Time ? rcformattime(message.Time) : "";
240 var timestamp = document.createElement("span");
241 timestamp.setAttribute("class", "timestamp");
242 timestamp.appendChild(document.createTextNode(timestamp_text));
243 message.UI.appendChild(timestamp);
33fdb071 244 message.UI.appendChild(document.createTextNode(" "));
bf8f6a39 245
244a78af
SW
246 // Timestamp hover
247 var timestamp_hover = document.createElement("div");
248 timestamp_hover.setAttribute("class", "servertimestamps");
249 timestamp.appendChild(timestamp_hover);
250 for (var server in message.ServerTimes) {
251 rcaddservertimestamptohover(message, server);
252 }
253
3a89c414
SW
254 // Classify different message types
255 var text_span = document.createElement("span");
256 var type;
257 if (/^\*\*\* /.test(message.Text)) {
258 type = "status";
259 } else if (/^\* /.test(message.Text)) {
260 type = "me";
c301e690
SW
261 } else if (/^-!- /.test(message.Text)) {
262 type = "local";
3a89c414
SW
263 } else {
264 type = "text";
265 }
266 if (Object.keys(message.ServerTimes).length == 0) {
267 type += " self";
268 }
269 text_span.setAttribute("class", type);
e04a2cfd
SW
270
271 // URL detection
272 var text = message.Text;
273 var URL_re = /\bhttps?:\/\/\S+/;
274 while (URL_re.test(text)) {
275 var match = URL_re.exec(text);
276 var leading_text = text.substr(0, match.index);
277 if (leading_text) {
278 text_span.appendChild(document.createTextNode(leading_text));
279 }
280 var anchor = document.createElement("a");
606c01e1 281 anchor.setAttribute("rel", "nofollow");
e04a2cfd
SW
282 anchor.setAttribute("href", encodeURI(match[0]));
283 anchor.appendChild(document.createTextNode(match[0]));
284 text_span.appendChild(anchor);
285 text = text.substr(match.index + match[0].length);
286 }
287 if (text) {
288 text_span.appendChild(document.createTextNode(text));
289 }
290
3a89c414 291 message.UI.appendChild(text_span);
bf8f6a39
SW
292 }
293
0248a518 294 function rcaddmessagetohistory(message) {
7f54ca0a
SW
295 var message_i;
296 if (message.Time) {
297 for (var i = history.length - 1; ; i--) {
298 if (i < 0 || (history[i].Time && message.Time >= history[i].Time)) {
299 message_i = i+1;
300 history.splice(message_i, 0, message);
301 break;
302 }
303 }
304 } else {
305 history.push(message);
306 message_i = history.length-1;
307 }
16f7340b
SW
308 if (message_i + 1 < history.length) {
309 rcaddmessagetoUI(message, history[message_i + 1].UI);
310 } else {
311 rcaddmessagetoUI(message, null);
312 }
313 }
7f54ca0a 314
16f7340b 315 function rcaddmessagetoUI(message, before) {
95ba71ee 316 if (!message.UI) {
bf8f6a39 317 rcmakemessageUI(message);
95ba71ee 318 }
0248a518 319 var h = document.getElementById("history");
16f7340b
SW
320 if (before) {
321 h.insertBefore(message.UI, before);
7f54ca0a
SW
322 } else {
323 h.appendChild(message.UI);
324 }
0248a518 325 window.scrollTo(0, document.body.scrollHeight);
0248a518
SW
326 }
327
328 function make_seen_key(id, text) {
329 return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@");
330 }
331
40380bd3
SW
332 function rcupdatemessagetime(message) {
333 // Set message.Time to be the median of message.ServerTimes
334 var times = [];
335 for (var i in message.ServerTimes) {
336 times.push(message.ServerTimes[i]);
337 }
338 times.sort();
40380bd3 339 if (times.length % 2) {
ac4bf273 340 message.Time = times[(times.length-1)/2];
40380bd3 341 } else {
ac4bf273 342 var middle = times.length/2;
40380bd3
SW
343 var difference = times[middle].getTime() - times[middle-1].getTime();
344 message.Time = new Date(times[middle-1].getTime() + difference/2);
345 }
95ba71ee
SW
346
347 // This may have broken history's in-sorted-order invariant
348 var hi = history.indexOf(message);
349 if ((history[hi-1] && history[hi-1].Time > message.Time) ||
350 (history[hi+1] && history[hi+1].Time < message.Time)) {
351 history.splice(hi,1);
352 rcaddmessagetohistory(message);
353 }
5be4c8ec
SW
354
355 // Update the UI
356 var spans = message.UI.getElementsByTagName("span");
357 for (var i in spans) {
c0aac85a
SW
358 if (spans[i].getAttribute) {
359 var type = spans[i].getAttribute("class");
360 if (type == "servercount") {
361 spans[i].firstChild.data = Object.keys(message.ServerTimes).length;
362 } else if (type == "timestamp") {
363 spans[i].firstChild.data = rcformattime(message.Time);
364 }
5be4c8ec
SW
365 }
366 }
40380bd3
SW
367 }
368
79ced6f1
SW
369 function rcreceivemessages(server, messages) {
370 for (var i in messages) {
ad35b1be 371 var m = messages[i];
bd1ed9dd 372 m.Time = new Date(m.Time);
ad35b1be 373 var seen_key = make_seen_key(m.ID, m.Text);
705e26cf
SW
374 if (seen_key in seen) {
375 seen[seen_key].ServerTimes[server] = m.Time;
40380bd3 376 rcupdatemessagetime(seen[seen_key]);
244a78af 377 rcaddservertimestamptohover(seen[seen_key], server);
705e26cf 378 } else {
16640c5d
SW
379 m.ServerTimes = {};
380 m.ServerTimes[server] = m.Time;
869430fa 381 seen[seen_key] = m;
ad35b1be 382 rcaddmessagetohistory(m);
79ced6f1
SW
383 for (var i in servers) {
384 rcchangeserverstatus(servers[i], "sad");
385 }
0248a518 386 }
79ced6f1 387 rcchangeserverstatus(server, "happy");
0248a518 388 }
0248a518
SW
389 }
390
79ced6f1
SW
391 function rcfetch(server) {
392 var delay = 10000; // TODO: Exponential backoff
393 var xhr = new XMLHttpRequest();
394 xhr.onreadystatechange = function() {
395 if (this.readyState == this.DONE) {
396 if (this.status == 200) {
397 var rtxt = this.responseText;
398 if (rtxt != null) {
399 var messages = JSON.parse(rtxt);
400 if (messages != null) {
79ced6f1
SW
401 delay = 40;
402 if (messages.length >= 1 && "Time" in messages[messages.length-1]) {
ad35b1be 403 since[server] = messages[messages.length-1].Time;
79ced6f1 404 }
92ca5f8a 405 rcreceivemessages(server, messages);
79ced6f1 406 }
0248a518
SW
407 }
408 }
79ced6f1 409 window.setTimeout(rcfetch, delay, server);
0248a518
SW
410 }
411 }
79ced6f1
SW
412 var uri = rcserverbase(server) + "/fetch";
413 if (server in since) {
414 uri += '?since="' + since[server] + '"';
415 }
416 xhr.open("GET", uri);
417 xhr.send();
0248a518
SW
418 }
419
420 function rcconnect() {
19724ebd 421 makeExpandingArea(document.getElementById("expando"));
0248a518 422 for (var i in servers) {
79ced6f1 423 rcfetch(servers[i]);
0248a518
SW
424 // Status bar entry
425 var status_indicator = document.createElement("span");
426 status_indicator.appendChild(document.createTextNode(servers[i]));
427 status_indicator.setAttribute("class", "sad");
428 document.getElementById("status").appendChild(status_indicator);
429 }
0248a518
SW
430 }
431
432 function rcsend(d, message) {
7f54ca0a
SW
433 message.ID = new Date().getTime() + "-" + session + "-" + Math.random();
434 seen[make_seen_key(message.ID, message.Text)] = message;
0248a518 435 var path = "/speak" +
7f54ca0a
SW
436 "?id=" + encodeURIComponent(message.ID) +
437 "&text=" + encodeURIComponent(message.Text);
0248a518 438 for (var i in servers) {
9878d03b
SW
439 var xhr = new XMLHttpRequest();
440 xhr.open("POST", rcserverbase(servers[i]) + path);
441 xhr.send();
0248a518
SW
442 }
443 }
444
5a6c082a
SW
445 function rcinput(input) {
446 var message;
219b6a2b 447 var re = /^\/(\S+)(\s(.*))?/;
5a6c082a 448 var match = re.exec(input);
16f7340b 449 if (match) {
112df9d1
SW
450 var command = match[1];
451 var rest = match[3];
452 if (command == 'me') {
453 message = "* " + rcnick() + " " + rest;
454 } else if (command == 'nick') {
219b6a2b
SW
455 if (rcnick() == rest) {
456 rcaddmessagetoUI({'Text': '-!- Your nick is already ' + rcnick(), 'ServerTimes': {}});
457 return;
458 }
112df9d1
SW
459 message = "*** " + rcnick() + " is now known as " + rest;
460 rcsetnick(rest);
16f7340b 461 } else {
112df9d1 462 rcaddmessagetoUI({'Text': '-!- No such command: ' + command, 'ServerTimes': {}});
16f7340b
SW
463 return;
464 }
5a6c082a
SW
465 } else {
466 message = "<" + rcnick() + "> " + input;
467 }
468
7f54ca0a 469 var m = {'Text': message, 'ServerTimes': {}};
869430fa
SW
470 rcaddmessagetohistory(m);
471 rcsend(m.UI, m);
5a6c082a
SW
472 }
473
0248a518
SW
474 function rckeydown(event) {
475 if (event.keyCode == 13) {
cf44a976
SW
476 if (document.input.say.value) {
477 rcinput(document.input.say.value);
478 }
0248a518 479 document.input.say.value = "";
19724ebd
SW
480 return false;
481 }
482 }
483
484 // From http://www.alistapart.com/articles/expanding-text-areas-made-elegant/
485 function makeExpandingArea(container) {
486 var area = container.querySelector('textarea');
487 var span1 = container.querySelector('span');
488 var span2 = document.getElementById('historypad');
489 if (area.addEventListener) {
490 area.addEventListener('input', function() {
491 span1.textContent = area.value;
492 span2.textContent = area.value;
493 }, false);
494 span1.textContent = area.value;
495 span2.textContent = area.value;
496 } else if (area.attachEvent) {
497 // IE8 compatibility
498 area.attachEvent('onpropertychange', function() {
499 span1.innerText = area.value;
500 span2.innerText = area.value;
501 });
502 span1.innerText = area.value;
503 span2.innerText = area.value;
0248a518
SW
504 }
505 }
506 //--><!]]></script>
507
827f21bb
SW
508</head>
509
f0e385c7 510<body onload="rcconnect()">
70f46223 511 <div id="container">
5afebfc6 512 <div class="banner">(You are using <a href="https://github.com/chkno/reliable-chat">Reliable Chat</a>)</div>
70f46223 513 <div id="history"></div>
19724ebd
SW
514 <div class="expandingArea" style="visibility: hidden">
515 <pre><span id="historypad"></span><br></pre>
516 </div>
70f46223
JH
517 <div id="client">
518 <div id="input">
519 <form name="input" onsubmit="return false" autocomplete="off">
19724ebd
SW
520 <div id="expando" class="expandingArea">
521 <pre><span></span><br></pre>
522 <textarea id="say" onkeydown="return rckeydown(event)" autofocus="autofocus"></textarea>
523 </div>
70f46223 524 </form></div>
19724ebd 525 <div id="status"></div>
70f46223
JH
526 </div>
527 </div>
827f21bb
SW
528</body>
529</html>