annotate static/websocket.js @ 1070:b281ee32c785

use Pillow. make vidref start up Ignore-this: 52ba5ec2409bbf446c7592d3646220ad
author Drew Perttula <drewp@bigasterisk.com>
date Mon, 02 Jun 2014 07:46:55 +0000
parents a4632a7b2e17
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
813
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
1 function reconnectingWebSocket(url, onMessage) {
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
2 var pong = 0;
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
3 function connect() {
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
4 var ws = new WebSocket(url);
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
5
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
6 ws.onopen = function() { $("#status").text("connected"); };
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
7 ws.onerror = function(e) { $("#status").text("error: "+e); };
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
8 ws.onclose = function() {
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
9 pong = 1 - pong;
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
10 $("#status").text("disconnected (retrying "+(pong ? "😼":"😺")+")");
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
11 // this should be under a requestAnimationFrame to
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
12 // save resources
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
13 setTimeout(connect, 2000);
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
14 };
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
15 ws.onmessage = function (evt) {
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
16 onMessage(JSON.parse(evt.data));
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
17 };
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
18 }
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
19 connect();
6f984ce851e2 refactor rdfdb web ui
drewp@bigasterisk.com
parents:
diff changeset
20 }