git.scottworley.com Git - reliable-chat/blob - webclient/rc.html

   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: 100%;
  27                 height: 100%;
  28                 margin: 0;
  29                 padding: 0;
  30                 background-color: #293134;
  31                 color: silver;
  32                 font-family: monospace;
  33         }
  34         a {
  35                 color: #ddd;
  36         }
  37         #container {
  38                 height: 100%;
  39         }
  40         #status {
  41                 width: 100%;
  42                 text-align: right;
  43                 background-color: #293134;
  44                 padding: 5px 5px 5px 0px;
  45         }
  46         #client {
  47                 width: 100%;
  48                 position: fixed;
  49                 bottom: 0;
  50         }
  51         #input {
  52                 width: 100%;
  53                 background-color: #293134;
  54         }
  55         #say { width: 100% }
  56         #history {
  57                 padding: 0px 5px 30px 5px;
  58                 vertical-align: bottom;
  59         }
  60         .banner {
  61                 font-size: 85%;
  62                 text-align: right;
  63         }
  64         .servercount {
  65                 margin-right: -0.5em;
  66                 font-size: 70%;
  67         }
  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         }
  84         img { width: 1px; height: 1px; }
  85         iframe { display: none }
  86         #status span { margin-right: 10px; }
  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         }
 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;
 108                 background: silver;
 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
 148   /*]]>*/--></style>
 149   <script type="text/javascript"><!--//--><![CDATA[//><!--
 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'];
 151
 152         var session = Math.random();  // For outgoing message IDs
 153         var since = {};    // server -> time: For fetch?since=
 154         var seen = {};     // seen_key -> message
 155         var history = [];  // List of messages sorted by Time
 156         // Messages have these fields:
 157         //   Time: The timestamp.  Median of ServerTimes
 158         //   ID: Some unique string for deduping
 159         //   Text: The text of the message
 160         //   ServerTimes: server -> timestamp
 161         //   UI: The DOM node for this message in the UI
 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
 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
 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();
 207                 return d + " " + rcpad2(h) + ":" + rcpad2(m) + ":" + rcpad2(s);
 208         }
 209
 210         function rcaddservertimestamptohover(message, server) {
 211                 var divs = message.UI.getElementsByTagName("div");
 212                 var t = message.ServerTimes[server];
 213                 for (var i in divs) {
 214                         if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
 215                                 var d = document.createElement("div");
 216                                 var text = t.getFullYear() + "-" +
 217                                         rcpad2(t.getMonth()) + "-" +
 218                                         rcpad2(t.getDay()) + " " +
 219                                         rcformattime(t) + "." +
 220                                         rcpad3(t.getMilliseconds()) + " " +
 221                                         server;
 222                                 d.appendChild(document.createTextNode(text));
 223                                 divs[i].appendChild(d);
 224                         }
 225                 }
 226         }
 227
 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);
 236                 message.UI.appendChild(document.createTextNode(" "));
 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);
 244                 message.UI.appendChild(document.createTextNode(" "));
 245
 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
 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";
 261                 } else if (/^-!- /.test(message.Text)) {
 262                         type = "local";
 263                 } else {
 264                         type = "text";
 265                 }
 266                 if (Object.keys(message.ServerTimes).length == 0) {
 267                         type += " self";
 268                 }
 269                 text_span.setAttribute("class", type);
 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");
 281                         anchor.setAttribute("rel", "nofollow");
 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
 291                 message.UI.appendChild(text_span);
 292         }
 293
 294         function rcaddmessagetohistory(message) {
 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                 }
 308                 if (message_i + 1 < history.length) {
 309                         rcaddmessagetoUI(message, history[message_i + 1].UI);
 310                 } else {
 311                         rcaddmessagetoUI(message, null);
 312                 }
 313         }
 314
 315         function rcaddmessagetoUI(message, before) {
 316                 if (!message.UI) {
 317                         rcmakemessageUI(message);
 318                 }
 319                 var h = document.getElementById("history");
 320                 if (before) {
 321                         h.insertBefore(message.UI, before);
 322                 } else {
 323                         h.appendChild(message.UI);
 324                 }
 325                 window.scrollTo(0, document.body.scrollHeight);
 326         }
 327
 328         function make_seen_key(id, text) {
 329                 return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@");
 330         }
 331
 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();
 339                 if (times.length % 2) {
 340                         message.Time = times[(times.length-1)/2];
 341                 } else {
 342                         var middle = times.length/2;
 343                         var difference = times[middle].getTime() - times[middle-1].getTime();
 344                         message.Time = new Date(times[middle-1].getTime() + difference/2);
 345                 }
 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                 }
 354
 355                 // Update the UI
 356                 var spans = message.UI.getElementsByTagName("span");
 357                 for (var i in spans) {
 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                                 }
 365                         }
 366                 }
 367         }
 368
 369         function rcreceivemessages(server, messages) {
 370                 for (var i in messages) {
 371                         var m = messages[i];
 372                         m.Time = new Date(m.Time);
 373                         var seen_key = make_seen_key(m.ID, m.Text);
 374                         if (seen_key in seen) {
 375                                 seen[seen_key].ServerTimes[server] = m.Time;
 376                                 rcupdatemessagetime(seen[seen_key]);
 377                                 rcaddservertimestamptohover(seen[seen_key], server);
 378                         } else {
 379                                 m.ServerTimes = {};
 380                                 m.ServerTimes[server] = m.Time;
 381                                 seen[seen_key] = m;
 382                                 rcaddmessagetohistory(m);
 383                                 for (var i in servers) {
 384                                         rcchangeserverstatus(servers[i], "sad");
 385                                 }
 386                         }
 387                         rcchangeserverstatus(server, "happy");
 388                 }
 389         }
 390
 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) {
 401                                                         delay = 40;
 402                                                         if (messages.length >= 1 && "Time" in messages[messages.length-1]) {
 403                                                                 since[server] = messages[messages.length-1].Time;
 404                                                         }
 405                                                         rcreceivemessages(server, messages);
 406                                                 }
 407                                         }
 408                                 }
 409                                 window.setTimeout(rcfetch, delay, server);
 410                         }
 411                 }
 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();
 418         }
 419
 420         function rcconnect() {
 421                 makeExpandingArea(document.getElementById("expando"));
 422                 for (var i in servers) {
 423                         rcfetch(servers[i]);
 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                 }
 430         }
 431
 432         function rcsend(d, message) {
 433                 message.ID = new Date().getTime() + "-" + session + "-" + Math.random();
 434                 seen[make_seen_key(message.ID, message.Text)] = message;
 435                 var path = "/speak" +
 436                         "?id=" + encodeURIComponent(message.ID) +
 437                         "&text=" + encodeURIComponent(message.Text);
 438                 for (var i in servers) {
 439                         var xhr = new XMLHttpRequest();
 440                         xhr.open("POST", rcserverbase(servers[i]) + path);
 441                         xhr.send();
 442                 }
 443         }
 444
 445         function rcinput(input) {
 446                 var message;
 447                 var re = /^\/(\S+)(\s(.*))?/;
 448                 var match = re.exec(input);
 449                 if (match) {
 450                         var command = match[1];
 451                         var rest = match[3];
 452                         if (command == 'me') {
 453                                 message = "* " + rcnick() + "  " + rest;
 454                         } else if (command == 'nick') {
 455                                 if (rcnick() == rest) {
 456                                         rcaddmessagetoUI({'Text': '-!- Your nick is already ' + rcnick(), 'ServerTimes': {}});
 457                                         return;
 458                                 }
 459                                 message = "*** " + rcnick() + " is now known as " + rest;
 460                                 rcsetnick(rest);
 461                         } else {
 462                                 rcaddmessagetoUI({'Text': '-!- No such command: ' + command, 'ServerTimes': {}});
 463                                 return;
 464                         }
 465                 } else {
 466                         message = "<" + rcnick() + "> " + input;
 467                 }
 468
 469                 var m = {'Text': message, 'ServerTimes': {}};
 470                 rcaddmessagetohistory(m);
 471                 rcsend(m.UI, m);
 472         }
 473
 474         function rckeydown(event) {
 475                 if (event.keyCode == 13) {
 476                         if (document.input.say.value) {
 477                                 rcinput(document.input.say.value);
 478                         }
 479                         document.input.say.value = "";
 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;
 504                 }
 505         }
 506   //--><!]]></script>
 507
 508 </head>
 509
 510 <body onload="rcconnect()">
 511         <div id="container">
 512                 <div class="banner">(You are using <a href="https://github.com/chkno/reliable-chat">Reliable Chat</a>)</div>
 513                 <div id="history"></div>
 514                 <div class="expandingArea" style="visibility: hidden">
 515                         <pre><span id="historypad"></span><br></pre>
 516                 </div>
 517                 <div id="client">
 518                         <div id="input">
 519                                 <form name="input" onsubmit="return false" autocomplete="off">
 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>
 524                                 </form></div>
 525                         <div id="status"></div>
 526                 </div>
 527         </div>
 528 </body>
 529 </html>