document.getElementById("status").innerHTML = 'No websockets :(. This means that you either use <em>Internet Explorer</em> or <em>Android</em>. In both cases, I suggest that you use <ahref="http://www.google.com/chrome/">Chrome</a> or <ahref="http://www.getfirefox.net/">Firefox</a>!';
document.getElementById("status").innerHTML = 'No websockets :(. This means that you either use <em>Internet Explorer</em> or <em>Android</em>. In both cases, I suggest that you use <ahref="http://www.google.com/chrome/">Chrome</a> or <ahref="http://www.getfirefox.net/">Firefox</a>!';
}
}
}
}
function testWebSocket() {
function testWebSocket() {
websocket = new WebSocket(wsURI);
websocket = new WebSocket(wsURI);
websocket.onopen = function (evt) { onOpen(evt) };
websocket.onopen = function (evt) { onOpen(evt) };
@ -57,8 +71,6 @@
doSend();
doSend();
}
}
function onMessage(evt) {
function onMessage(evt) {
var circle = document.getElementById("circle_of_people");
var people = JSON.parse(evt.data);
var people = JSON.parse(evt.data);
for (var i = people.length - 1; i >= 0; i--) {
for (var i = people.length - 1; i >= 0; i--) {
var user = document.getElementById(people[i].name);
var user = document.getElementById(people[i].name);