comparison: www/js/global.js
www/js/global.js
- changeset 717
- aad750d942df
- parent 713
- 8dae8479d5e8
- child 721
- 4d7394ced1c3
equal
deleted
inserted
replaced
| 716:57118e6a4bdb | 717:aad750d942df |
|---|---|
| 768 | 768 |
| 769 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */ | 769 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */ |
| 770 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws'); | 770 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws'); |
| 771 | 771 |
| 772 websocket.onopen = function(evt) { | 772 websocket.onopen = function(evt) { |
| 773 console.log('WebSocket connection opened'); | |
| 774 $('#wsstatus').html('WebSocket open'); | 773 $('#wsstatus').html('WebSocket open'); |
| 775 } | 774 } |
| 776 | 775 |
| 777 websocket.onclose = function(evt) { | 776 websocket.onclose = function(evt) { |
| 778 console.log('Websocket connection closed'); | |
| 779 $('#wsstatus').html('WebSocket closed'); | 777 $('#wsstatus').html('WebSocket closed'); |
| 780 } | 778 } |
| 781 | 779 |
| 782 websocket.onerror = function(event) { | 780 websocket.onerror = function(event) { |
| 783 console.log('Websocket error: ' + event.data); | 781 console.log('Websocket error: ' + event.data); |
