comparison: www/js/global.js
www/js/global.js
- changeset 687
- 93ea9572c780
- parent 685
- a4fcdf24b5e7
- child 697
- 367ae7ff52f0
equal
deleted
inserted
replaced
| 686:ca1fbb3bd3db | 687:93ea9572c780 |
|---|---|
| 749 url: 'includes/db_profile_mash.php' | 749 url: 'includes/db_profile_mash.php' |
| 750 }, | 750 }, |
| 751 mashlist = new $.jqx.dataAdapter(mashProfileSource); | 751 mashlist = new $.jqx.dataAdapter(mashProfileSource); |
| 752 | 752 |
| 753 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */ | 753 /* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */ |
| 754 //var websocket = new WebSocket('ws://'+location.hostname+'/ws'); | |
| 755 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws'); | 754 var websocket = new ReconnectingWebSocket('ws://'+location.hostname+'/ws'); |
| 756 | 755 |
| 757 websocket.onopen = function(evt) { | 756 websocket.onopen = function(evt) { |
| 758 console.log('WebSocket connection opened'); | 757 console.log('WebSocket connection opened'); |
| 759 $('#wsstatus').html('WebSocket open'); | 758 $('#wsstatus').html('WebSocket open'); |
| 770 } | 769 } |
| 771 | 770 |
| 772 $(document).ready(function() { | 771 $(document).ready(function() { |
| 773 | 772 |
| 774 $('#jqxMenu').jqxMenu({ | 773 $('#jqxMenu').jqxMenu({ |
| 775 width: 800, | 774 width: 1280, |
| 776 height: '30px', | 775 height: '30px', |
| 777 autoOpen: false, | 776 autoOpen: false, |
| 778 clickToOpen: true, | 777 clickToOpen: true, |
| 779 theme: theme | 778 theme: theme |
| 780 }); | 779 }); |
| 781 $('#jqxWidget').css('visibility', 'visible'); | 780 $('#jqxWidget').css('visibility', 'visible'); |
| 782 $('#jqxStatus').jqxPanel({ width: 478, height: 30, theme: theme }); | |
| 783 }); | 781 }); |
| 784 | 782 |
| 785 | 783 |
| 786 | 784 |
| 787 function Round(n, d) { | 785 function Round(n, d) { |
