diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2015-06-18 17:02:00 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2015-06-18 17:02:00 +0200 |
commit | 89ad0d1de12b3728a8199572a59d66d994fe5e7c (patch) | |
tree | 89425f3f29244bd8c92fa8d50c45dcb24e538e7c | |
parent | 22b0f08821ebe5a37dbdeac5de834132adc12ece (diff) | |
download | biruda-89ad0d1de12b3728a8199572a59d66d994fe5e7c.tar.gz biruda-89ad0d1de12b3728a8199572a59d66d994fe5e7c.tar.bz2 |
some cleanup in web client status page
-rw-r--r-- | src/index.html | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/src/index.html b/src/index.html index 4372efa..d828762 100644 --- a/src/index.html +++ b/src/index.html @@ -7,20 +7,10 @@ <script src="/web/jquery-ui.js"></script> <script> - function sleep(milliseconds) { - var start = new Date().getTime(); - for (var i = 0; i < 1e7; i++) { - if ((new Date().getTime() - start) > milliseconds){ - break; - } - } - } - $( function( ) { $( "#tabs" ).tabs({ cache: false, beforeLoad: function( event, ui ) { - ui.panel.html( "Loading, please wait..." ); ui.jqXHR.fail( function( ) { ui.panel.html( "Couldn't load status of biruda. Check if biruda is running and the webserver is enabled." ); @@ -32,19 +22,12 @@ $(document).ready( function( ) { refresh_status( ); }); - - //~ $('#tabs').tabs({ - //~ beforeLoad: function( event, ui ) { - //~ - //~ } - //~ }); function refresh_status( ) { $('#tabs').tabs( 'load', 0 ); } - var refreshId =setInterval( refresh_status, 1000 ); - + var refreshId =setInterval( refresh_status, 5000 ); </script> </head> |