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