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