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 {
 262                         type = "text";
 263                 }
 264                 if (Object.keys(message.ServerTimes).length == 0) {
 265                         type += " self";
 266                 }
 267                 text_span.setAttribute("class", type);
 268
 269                 // URL detection
 270                 var text = message.Text;
 271                 var URL_re = /\bhttps?:\/\/\S+/;
 272                 while (URL_re.test(text)) {
 273                         var match = URL_re.exec(text);
 274                         var leading_text = text.substr(0, match.index);
 275                         if (leading_text) {
 276                                 text_span.appendChild(document.createTextNode(leading_text));
 277                         }
 278                         var anchor = document.createElement("a");
 279                         anchor.setAttribute("rel", "nofollow");
 280                         anchor.setAttribute("href", encodeURI(match[0]));
 281                         anchor.appendChild(document.createTextNode(match[0]));
 282                         text_span.appendChild(anchor);
 283                         text = text.substr(match.index + match[0].length);
 284                 }
 285                 if (text) {
 286                         text_span.appendChild(document.createTextNode(text));
 287                 }
 288
 289                 message.UI.appendChild(text_span);
 290         }
 291
 292         function rcaddmessagetohistory(message) {
 293                 var message_i;
 294                 if (message.Time) {
 295                         for (var i = history.length - 1; ; i--) {
 296                                 if (i < 0 || (history[i].Time && message.Time >= history[i].Time)) {
 297                                         message_i = i+1;
 298                                         history.splice(message_i, 0, message);
 299                                         break;
 300                                 }
 301                         }
 302                 } else {
 303                         history.push(message);
 304                         message_i = history.length-1;
 305                 }
 306                 if (message_i + 1 < history.length) {
 307                         rcaddmessagetoUI(message, history[message_i + 1].UI);
 308                 } else {
 309                         rcaddmessagetoUI(message, null);
 310                 }
 311         }
 312
 313         function rcaddmessagetoUI(message, before) {
 314                 if (!message.UI) {
 315                         rcmakemessageUI(message);
 316                 }
 317                 var h = document.getElementById("history");
 318                 if (before) {
 319                         h.insertBefore(message.UI, before);
 320                 } else {
 321                         h.appendChild(message.UI);
 322                 }
 323                 window.scrollTo(0, document.body.scrollHeight);
 324         }
 325
 326         function make_seen_key(id, text) {
 327                 return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@");
 328         }
 329
 330         function rcupdatemessagetime(message) {
 331                 // Set message.Time to be the median of message.ServerTimes
 332                 var times = [];
 333                 for (var i in message.ServerTimes) {
 334                         times.push(message.ServerTimes[i]);
 335                 }
 336                 times.sort();
 337                 if (times.length % 2) {
 338                         message.Time = times[(times.length-1)/2];
 339                 } else {
 340                         var middle = times.length/2;
 341                         var difference = times[middle].getTime() - times[middle-1].getTime();
 342                         message.Time = new Date(times[middle-1].getTime() + difference/2);
 343                 }
 344
 345                 // This may have broken history's in-sorted-order invariant
 346                 var hi = history.indexOf(message);
 347                 if ((history[hi-1] && history[hi-1].Time > message.Time) ||
 348                     (history[hi+1] && history[hi+1].Time < message.Time)) {
 349                         history.splice(hi,1);
 350                         rcaddmessagetohistory(message);
 351                 }
 352
 353                 // Update the UI
 354                 var spans = message.UI.getElementsByTagName("span");
 355                 for (var i in spans) {
 356                         if (spans[i].getAttribute) {
 357                                 var type = spans[i].getAttribute("class");
 358                                 if (type == "servercount") {
 359                                         spans[i].firstChild.data = Object.keys(message.ServerTimes).length;
 360                                 } else if (type == "timestamp") {
 361                                         spans[i].firstChild.data = rcformattime(message.Time);
 362                                 }
 363                         }
 364                 }
 365         }
 366
 367         function rcreceivemessages(server, messages) {
 368                 for (var i in messages) {
 369                         var m = messages[i];
 370                         m.Time = new Date(m.Time);
 371                         var seen_key = make_seen_key(m.ID, m.Text);
 372                         if (seen_key in seen) {
 373                                 seen[seen_key].ServerTimes[server] = m.Time;
 374                                 rcupdatemessagetime(seen[seen_key]);
 375                                 rcaddservertimestamptohover(seen[seen_key], server);
 376                         } else {
 377                                 m.ServerTimes = {};
 378                                 m.ServerTimes[server] = m.Time;
 379                                 seen[seen_key] = m;
 380                                 rcaddmessagetohistory(m);
 381                                 for (var i in servers) {
 382                                         rcchangeserverstatus(servers[i], "sad");
 383                                 }
 384                         }
 385                         rcchangeserverstatus(server, "happy");
 386                 }
 387         }
 388
 389         function rcfetch(server) {
 390                 var delay = 10000;  // TODO: Exponential backoff
 391                 var xhr = new XMLHttpRequest();
 392                 xhr.onreadystatechange = function() {
 393                         if (this.readyState == this.DONE) {
 394                                 if (this.status == 200) {
 395                                         var rtxt = this.responseText;
 396                                         if (rtxt != null) {
 397                                                 var messages = JSON.parse(rtxt);
 398                                                 if (messages != null) {
 399                                                         delay = 40;
 400                                                         if (messages.length >= 1 && "Time" in messages[messages.length-1]) {
 401                                                                 since[server] = messages[messages.length-1].Time;
 402                                                         }
 403                                                         rcreceivemessages(server, messages);
 404                                                 }
 405                                         }
 406                                 }
 407                                 window.setTimeout(rcfetch, delay, server);
 408                         }
 409                 }
 410                 var uri = rcserverbase(server) + "/fetch";
 411                 if (server in since) {
 412                         uri += '?since="' + since[server] + '"';
 413                 }
 414                 xhr.open("GET", uri);
 415                 xhr.send();
 416         }
 417
 418         function rcconnect() {
 419                 makeExpandingArea(document.getElementById("expando"));
 420                 for (var i in servers) {
 421                         rcfetch(servers[i]);
 422                         // Status bar entry
 423                         var status_indicator = document.createElement("span");
 424                         status_indicator.appendChild(document.createTextNode(servers[i]));
 425                         status_indicator.setAttribute("class", "sad");
 426                         document.getElementById("status").appendChild(status_indicator);
 427                 }
 428         }
 429
 430         function rcsend(d, message) {
 431                 message.ID = new Date().getTime() + "-" + session + "-" + Math.random();
 432                 seen[make_seen_key(message.ID, message.Text)] = message;
 433                 var path = "/speak" +
 434                         "?id=" + encodeURIComponent(message.ID) +
 435                         "&text=" + encodeURIComponent(message.Text);
 436                 for (var i in servers) {
 437                         var uri = rcserverbase(servers[i]) + path;
 438                         var img = document.createElement("img");
 439                         img.setAttribute("src", uri);
 440                         d.appendChild(img);
 441                 }
 442         }
 443
 444         function rcinput(input) {
 445                 var message;
 446                 var re = /^\/(\S+)(\s(.*))?/;
 447                 var match = re.exec(input);
 448                 if (match) {
 449                         var command = match[1];
 450                         var rest = match[3];
 451                         if (command == 'me') {
 452                                 message = "* " + rcnick() + "  " + rest;
 453                         } else if (command == 'nick') {
 454                                 if (rcnick() == rest) {
 455                                         rcaddmessagetoUI({'Text': '-!- Your nick is already ' + rcnick(), 'ServerTimes': {}});
 456                                         return;
 457                                 }
 458                                 message = "*** " + rcnick() + " is now known as " + rest;
 459                                 rcsetnick(rest);
 460                         } else {
 461                                 rcaddmessagetoUI({'Text': '-!- No such command: ' + command, 'ServerTimes': {}});
 462                                 return;
 463                         }
 464                 } else {
 465                         message = "<" + rcnick() + "> " + input;
 466                 }
 467
 468                 var m = {'Text': message, 'ServerTimes': {}};
 469                 rcaddmessagetohistory(m);
 470                 rcsend(m.UI, m);
 471         }
 472
 473         function rckeydown(event) {
 474                 if (event.keyCode == 13) {
 475                         rcinput(document.input.say.value);
 476                         document.input.say.value = "";
 477                         return false;
 478                 }
 479         }
 480
 481         // From http://www.alistapart.com/articles/expanding-text-areas-made-elegant/
 482         function makeExpandingArea(container) {
 483                 var area = container.querySelector('textarea');
 484                 var span1 = container.querySelector('span');
 485                 var span2 = document.getElementById('historypad');
 486                 if (area.addEventListener) {
 487                         area.addEventListener('input', function() {
 488                                 span1.textContent = area.value;
 489                                 span2.textContent = area.value;
 490                         }, false);
 491                         span1.textContent = area.value;
 492                         span2.textContent = area.value;
 493                 } else if (area.attachEvent) {
 494                         // IE8 compatibility
 495                         area.attachEvent('onpropertychange', function() {
 496                                 span1.innerText = area.value;
 497                                 span2.innerText = area.value;
 498                         });
 499                         span1.innerText = area.value;
 500                         span2.innerText = area.value;
 501                 }
 502         }
 503   //--><!]]></script>
 504
 505 </head>
 506
 507 <body onload="rcconnect()">
 508         <div id="container">
 509                 <div class="banner">(You are using <a href="https://github.com/chkno/reliable-chat">Reliable Chat</a>)</div>
 510                 <div id="history"></div>
 511                 <div class="expandingArea" style="visibility: hidden">
 512                         <pre><span id="historypad"></span><br></pre>
 513                 </div>
 514                 <div id="client">
 515                         <div id="input">
 516                                 <form name="input" onsubmit="return false" autocomplete="off">
 517                                         <div id="expando" class="expandingArea">
 518                                                 <pre><span></span><br></pre>
 519                                                 <textarea id="say" onkeydown="return rckeydown(event)" autofocus="autofocus"></textarea>
 520                                         </div>
 521                                 </form></div>
 522                         <div id="status"></div>
 523                 </div>
 524         </div>
 525 </body>
 526 </html>