diff options
Diffstat (limited to 'src')
-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> |