git.scottworley.com Git - reliable-chat/blame_incremental

... / ...

Commit	Line	Data
	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>