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	display: none;
	51	}
	52	#input {
	53	width: 100%;
	54	background-color: #293134;
	55	}
	56	#say { width: 100% }
	57	#history {
	58	padding: 0px 5px 30px 5px;
	59	vertical-align: bottom;
	60	}
	61	.banner {
	62	font-size: 85%;
	63	text-align: right;
	64	}
	65	.status {
	66	color: #dd8;
	67	}
	68	.local.self {
	69	color: #d8d;
	70	}
	71	.self {
	72	color: #8d8;
	73	}
	74	.me {
	75	color: #bbd;
	76	}
	77	.servercount {
	78	margin-right: -0.5em;
	79	font-size: 70%;
	80	}
	81	.timestamp:hover, .timestamp:hover .servertimestamps {
	82	background-color: #556;
	83	}
	84	.timestamp:hover .servertimestamps {
	85	display: block;
	86	}
	87	.servertimestamps {
	88	display: none;
	89	position: absolute;
	90	left: 3em;
	91	z-index: 1;
	92	border: 1px solid black;
	93	border-radius: 5px;
	94	padding-left: 5px;
	95	padding-right: 5px;
	96	}
	97	img { width: 1px; height: 1px; }
	98	iframe { display: none }
	99	#status span { margin-right: 10px; }
	100	#status span.sad {
	101	background-color: #f00;
	102	color: #fff;
	103	border: 1px solid black;
	104	border-radius: 5px;
	105	padding-left: 5px;
	106	padding-right: 5px;
	107	}
	108	#status span.happy {
	109	background-color: #0f0;
	110	color: #000;
	111	border: 1px solid black;
	112	border-radius: 5px;
	113	padding-left: 5px;
	114	padding-right: 5px;
	115	}
	116	#getnick {
	117	padding-left: 3em;
	118	display: none;
	119	}
	120
	121	/* BEGIN expando input box trick kindly provided by http://www.alistapart.com/articles/expanding-text-areas-made-elegant/ */
	122	.expandingArea {
	123	position: relative;
	124	border: 1px solid #888;
	125	background: silver;
	126	}
	127	.expandingArea > textarea,
	128	.expandingArea > pre {
	129	margin: 0;
	130	outline: 0;
	131	border: 0;
	132	padding: 5px;
	133	background: transparent;
	134	font: 400 13px/16px helvetica, arial, sans-serif;
	135	/* Make the text soft-wrap */
	136	white-space: pre-wrap;
	137	word-wrap: break-word;
	138	}
	139	.expandingArea > textarea {
	140	/* The border-box box model is used to allow
	141	* padding whilst still keeping the overall width
	142	* at exactly that of the containing element.
	143	*/
	144	-webkit-box-sizing: border-box;
	145	-moz-box-sizing: border-box;
	146	-ms-box-sizing: border-box;
	147	box-sizing: border-box;
	148	width: 100%;
	149	/* Hide any scrollbars */
	150	overflow: hidden;
	151	position: absolute;
	152	top: 0;
	153	left: 0;
	154	height: 100%;
	155	/* Remove WebKit user-resize widget */
	156	resize: none;
	157	}
	158	.expandingArea > pre {
	159	display: block;
	160	/* Hide the text; just using it for sizing */
	161	visibility: hidden;
	162	}
	163	/* END expando input box trick kindly provided by http://www.alistapart.com/articles/expanding-text-areas-made-elegant/ */
	164
	165	/]]>/--></style>
	166	<script type="text/javascript"><!--//--><![CDATA[//><!--
	167	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'];
	168
	169	var session = Math.random(); // For outgoing message IDs
	170	var since = {}; // server -> time: For fetch?since=
	171	var seen = {}; // seen_key -> message
	172	var history = []; // List of messages sorted by Time
	173	// Messages have these fields:
	174	// Time: The timestamp. Median of ServerTimes
	175	// ID: Some unique string for deduping
	176	// Text: The text of the message
	177	// ServerTimes: server -> timestamp
	178	// UI: The DOM node for this message in the UI
	179
	180	function rcnick() {
	181	return localStorage.getItem("nick");
	182	}
	183
	184	function rcsetnick(new_nick) {
	185	localStorage.setItem("nick", new_nick);
	186	}
	187
	188	function rcserverbase(server) {
	189	// Add the default port if server doesn't contain a port number already
	190	if (server.indexOf(":") == -1) {
	191	return "http://" + server + ":21059";
	192	} else {
	193	return "http://" + server;
	194	}
	195	}
	196
	197	function rcchangeserverstatus(server, new_status) {
	198	var statusbar = document.getElementById("status");
	199	var spans = statusbar.getElementsByTagName("span");
	200	for (var i in spans) {
	201	if (spans[i].firstChild && 'data' in spans[i].firstChild && spans[i].firstChild.data == server) {
	202	spans[i].setAttribute("class", new_status);
	203	}
	204	}
	205	}
	206
	207	function rcpad2(x) {
	208	return (x < 10 ? "0" : "") + x;
	209	}
	210	function rcpad3(x) {
	211	return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
	212	}
	213
	214	function rcformattime(t) {
	215	var d = t.getDay();
	216	d = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"][d];
	217	var h = t.getHours();
	218	var m = t.getMinutes();
	219	var s = t.getSeconds();
	220	return d + " " + rcpad2(h) + ":" + rcpad2(m) + ":" + rcpad2(s);
	221	}
	222
	223	function rcaddservertimestamptohover(message, server) {
	224	var divs = message.UI.getElementsByTagName("div");
	225	var t = message.ServerTimes[server];
	226	for (var i in divs) {
	227	if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
	228	var d = document.createElement("div");
	229	var text = t.getFullYear() + "-" +
	230	rcpad2(t.getMonth()) + "-" +
	231	rcpad2(t.getDay()) + " " +
	232	rcformattime(t) + "." +
	233	rcpad3(t.getMilliseconds()) + " " +
	234	server;
	235	d.appendChild(document.createTextNode(text));
	236	divs[i].appendChild(d);
	237	}
	238	}
	239	}
	240
	241	function rcmakemessageUI(message) {
	242	message.UI = document.createElement("div");
	243
	244	// Server count
	245	var servercount = document.createElement("span");
	246	servercount.setAttribute("class", "servercount");
	247	servercount.appendChild(document.createTextNode(Object.keys(message.ServerTimes).length));
	248	message.UI.appendChild(servercount);
	249	message.UI.appendChild(document.createTextNode(" "));
	250
	251	// Timestamp
	252	var timestamp_text = message.Time ? rcformattime(message.Time) : "";
	253	var timestamp = document.createElement("span");
	254	timestamp.setAttribute("class", "timestamp");
	255	timestamp.appendChild(document.createTextNode(timestamp_text));
	256	message.UI.appendChild(timestamp);
	257	message.UI.appendChild(document.createTextNode(" "));
	258
	259	// Timestamp hover
	260	var timestamp_hover = document.createElement("div");
	261	timestamp_hover.setAttribute("class", "servertimestamps");
	262	timestamp.appendChild(timestamp_hover);
	263	for (var server in message.ServerTimes) {
	264	rcaddservertimestamptohover(message, server);
	265	}
	266
	267	// Classify different message types
	268	var text_span = document.createElement("span");
	269	var type;
	270	if (/^\\\* /.test(message.Text)) {
	271	type = "status";
	272	} else if (/^\* /.test(message.Text)) {
	273	type = "me";
	274	} else if (/^-!- /.test(message.Text)) {
	275	type = "local";
	276	} else {
	277	type = "text";
	278	}
	279	if (Object.keys(message.ServerTimes).length == 0) {
	280	type += " self";
	281	}
	282	text_span.setAttribute("class", type);
	283
	284	// URL detection
	285	var text = message.Text;
	286	var URL_re = /\bhttps?:\/\/\S+/;
	287	while (URL_re.test(text)) {
	288	var match = URL_re.exec(text);
	289	var leading_text = text.substr(0, match.index);
	290	if (leading_text) {
	291	text_span.appendChild(document.createTextNode(leading_text));
	292	}
	293	var anchor = document.createElement("a");
	294	anchor.setAttribute("rel", "nofollow");
	295	anchor.setAttribute("href", encodeURI(match[0]));
	296	anchor.appendChild(document.createTextNode(match[0]));
	297	text_span.appendChild(anchor);
	298	text = text.substr(match.index + match[0].length);
	299	}
	300	if (text) {
	301	text_span.appendChild(document.createTextNode(text));
	302	}
	303
	304	message.UI.appendChild(text_span);
	305	}
	306
	307	function rcaddmessagetohistory(message) {
	308	var message_i;
	309	if (message.Time) {
	310	for (var i = history.length - 1; ; i--) {
	311	if (i < 0 \|\| (history[i].Time && message.Time >= history[i].Time)) {
	312	message_i = i+1;
	313	history.splice(message_i, 0, message);
	314	break;
	315	}
	316	}
	317	} else {
	318	history.push(message);
	319	message_i = history.length-1;
	320	}
	321	if (message_i + 1 < history.length) {
	322	rcaddmessagetoUI(message, history[message_i + 1].UI);
	323	} else {
	324	rcaddmessagetoUI(message, null);
	325	}
	326	}
	327
	328	function rcaddmessagetoUI(message, before) {
	329	if (!message.UI) {
	330	rcmakemessageUI(message);
	331	}
	332	var h = document.getElementById("history");
	333	if (before) {
	334	h.insertBefore(message.UI, before);
	335	} else {
	336	h.appendChild(message.UI);
	337	}
	338	window.scrollTo(0, document.body.scrollHeight);
	339	}
	340
	341	function make_seen_key(id, text) {
	342	return id.replace(/@/g, "@@") + "_@_" + text.replace(/@/g, "@@");
	343	}
	344
	345	function rcupdatemessagetime(message) {
	346	// Set message.Time to be the median of message.ServerTimes
	347	var times = [];
	348	for (var i in message.ServerTimes) {
	349	times.push(message.ServerTimes[i]);
	350	}
	351	times.sort();
	352	if (times.length % 2) {
	353	message.Time = times[(times.length-1)/2];
	354	} else {
	355	var middle = times.length/2;
	356	var difference = times[middle].getTime() - times[middle-1].getTime();
	357	message.Time = new Date(times[middle-1].getTime() + difference/2);
	358	}
	359
	360	// This may have broken history's in-sorted-order invariant
	361	var hi = history.indexOf(message);
	362	if ((history[hi-1] && history[hi-1].Time > message.Time) \|\|
	363	(history[hi+1] && history[hi+1].Time < message.Time)) {
	364	history.splice(hi,1);
	365	rcaddmessagetohistory(message);
	366	}
	367
	368	// Update the UI
	369	var spans = message.UI.getElementsByTagName("span");
	370	for (var i in spans) {
	371	if (spans[i].getAttribute) {
	372	var type = spans[i].getAttribute("class");
	373	if (type == "servercount") {
	374	spans[i].firstChild.data = Object.keys(message.ServerTimes).length;
	375	} else if (type == "timestamp") {
	376	spans[i].firstChild.data = rcformattime(message.Time);
	377	}
	378	}
	379	}
	380	}
	381
	382	function rcreceivemessages(server, messages) {
	383	for (var i in messages) {
	384	var m = messages[i];
	385	m.Time = new Date(m.Time);
	386	var seen_key = make_seen_key(m.ID, m.Text);
	387	if (seen_key in seen) {
	388	seen[seen_key].ServerTimes[server] = m.Time;
	389	rcupdatemessagetime(seen[seen_key]);
	390	rcaddservertimestamptohover(seen[seen_key], server);
	391	} else {
	392	m.ServerTimes = {};
	393	m.ServerTimes[server] = m.Time;
	394	seen[seen_key] = m;
	395	rcaddmessagetohistory(m);
	396	for (var i in servers) {
	397	rcchangeserverstatus(servers[i], "sad");
	398	}
	399	}
	400	rcchangeserverstatus(server, "happy");
	401	}
	402	}
	403
	404	function rcfetch(server) {
	405	var delay = 10000; // TODO: Exponential backoff
	406	var xhr = new XMLHttpRequest();
	407	xhr.onreadystatechange = function() {
	408	if (this.readyState == this.DONE) {
	409	if (this.status == 200) {
	410	var rtxt = this.responseText;
	411	if (rtxt != null) {
	412	var messages = JSON.parse(rtxt);
	413	if (messages != null) {
	414	delay = 40;
	415	if (messages.length >= 1 && "Time" in messages[messages.length-1]) {
	416	since[server] = messages[messages.length-1].Time;
	417	}
	418	rcreceivemessages(server, messages);
	419	}
	420	}
	421	}
	422	window.setTimeout(rcfetch, delay, server);
	423	}
	424	}
	425	var uri = rcserverbase(server) + "/fetch";
	426	if (server in since) {
	427	uri += '?since="' + since[server] + '"';
	428	}
	429	xhr.open("GET", uri);
	430	xhr.send();
	431	}
	432
	433	function rcconnect() {
	434	makeExpandingArea(document.getElementById("expando"));
	435	for (var i in servers) {
	436	rcfetch(servers[i]);
	437	// Status bar entry
	438	var status_indicator = document.createElement("span");
	439	status_indicator.appendChild(document.createTextNode(servers[i]));
	440	status_indicator.setAttribute("class", "sad");
	441	document.getElementById("status").appendChild(status_indicator);
	442	}
	443	}
	444
	445	function rcstart() {
	446	if (rcnick()) {
	447	document.getElementById("client").style.display = 'block';
	448	rcconnect();
	449	} else {
	450	document.getElementById("getnick").style.display = 'block';
	451	}
	452	}
	453
	454	function rcsend(d, message) {
	455	message.ID = new Date().getTime() + "-" + session + "-" + Math.random();
	456	seen[make_seen_key(message.ID, message.Text)] = message;
	457	var path = "/speak" +
	458	"?id=" + encodeURIComponent(message.ID) +
	459	"&text=" + encodeURIComponent(message.Text);
	460	for (var i in servers) {
	461	var xhr = new XMLHttpRequest();
	462	xhr.open("POST", rcserverbase(servers[i]) + path);
	463	xhr.send();
	464	}
	465	}
	466
	467	function rcinput(input) {
	468	var message;
	469	var re = /^\/(\S+)(\s(.*))?/;
	470	var match = re.exec(input);
	471	if (match) {
	472	var command = match[1];
	473	var rest = match[3];
	474	if (command == 'me') {
	475	message = "* " + rcnick() + " " + rest;
	476	} else if (command == 'nick') {
	477	if (rcnick() == rest) {
	478	rcaddmessagetoUI({'Text': '-!- Your nick is already ' + rcnick(), 'ServerTimes': {}});
	479	return;
	480	}
	481	if (rest) {
	482	message = "*** " + rcnick() + " is now known as " + rest;
	483	rcsetnick(rest);
	484	} else {
	485	rcaddmessagetoUI({'Text': '-!- /nick requires an argument', 'ServerTimes': {}});
	486	return;
	487	}
	488	} else {
	489	rcaddmessagetoUI({'Text': '-!- No such command: ' + command, 'ServerTimes': {}});
	490	return;
	491	}
	492	} else {
	493	message = "<" + rcnick() + "> " + input;
	494	}
	495
	496	var m = {'Text': message, 'ServerTimes': {}};
	497	rcaddmessagetohistory(m);
	498	rcsend(m.UI, m);
	499	}
	500
	501	function rckeydown(event) {
	502	if (event.keyCode == 13) {
	503	if (document.input.say.value) {
	504	rcinput(document.input.say.value);
	505	}
	506	document.input.say.value = "";
	507	return false;
	508	}
	509	}
	510
	511	function rcsetinitialnick() {
	512	if (document.getnickform.initial_nick.value) {
	513	rcsetnick(document.getnickform.initial_nick.value);
	514	document.getElementById("getnick").style.display = 'none';
	515	document.getElementById("client").style.display = 'block';
	516	rcconnect();
	517	}
	518	return false;
	519	}
	520
	521	// From http://www.alistapart.com/articles/expanding-text-areas-made-elegant/
	522	function makeExpandingArea(container) {
	523	var area = container.querySelector('textarea');
	524	var span1 = container.querySelector('span');
	525	var span2 = document.getElementById('historypad');
	526	if (area.addEventListener) {
	527	area.addEventListener('input', function() {
	528	span1.textContent = area.value;
	529	span2.textContent = area.value;
	530	}, false);
	531	span1.textContent = area.value;
	532	span2.textContent = area.value;
	533	} else if (area.attachEvent) {
	534	// IE8 compatibility
	535	area.attachEvent('onpropertychange', function() {
	536	span1.innerText = area.value;
	537	span2.innerText = area.value;
	538	});
	539	span1.innerText = area.value;
	540	span2.innerText = area.value;
	541	}
	542	}
	543	//--><!]]></script>
	544
	545	</head>
	546
	547	<body onload="rcstart()">
	548	<div id="container">
	549	<div class="banner">(You are using <a href="https://github.com/chkno/reliable-chat">Reliable Chat</a>)</div>
	550	<div id="history"></div>
	551	<div class="expandingArea" style="visibility: hidden">
	552	<pre><span id="historypad"></span><br></pre>
	553	</div>
	554	<div id="getnick">
	555	<h1>Set your nick</h1>
	556	<form name="getnickform" onsubmit="return rcsetinitialnick();">
	557	<input id="initial_nick" type="text"></input>
	558	<input type="submit" value="ok"></input>
	559	</form>
	560	</div>
	561	<div id="client">
	562	<div id="input">
	563	<form name="input" onsubmit="return false" autocomplete="off">
	564	<div id="expando" class="expandingArea">
	565	<pre><span></span><br></pre>
	566	<textarea id="say" onkeydown="return rckeydown(event)" autofocus="autofocus"></textarea>
	567	</div>
	568	</form></div>
	569	<div id="status"></div>
	570	</div>
	571	</div>
	572	</body>
	573	</html>