##// END OF EJS Templates
remove some weird tabs...
Min RK -
Show More
@@ -89,18 +89,18 require([
89 */
89 */
90 session_list.load_sessions();
90 session_list.load_sessions();
91 cluster_list.load_list();
91 cluster_list.load_list();
92 if (terminal_list) {
92 if (terminal_list) {
93 terminal_list.load_terminals();
93 terminal_list.load_terminals();
94 }
94 }
95 if (!interval_id){
95 if (!interval_id){
96 interval_id = setInterval(function(){
96 interval_id = setInterval(function(){
97 session_list.load_sessions();
97 session_list.load_sessions();
98 cluster_list.load_list();
98 cluster_list.load_list();
99 if (terminal_list) {
99 if (terminal_list) {
100 terminal_list.load_terminals();
100 terminal_list.load_terminals();
101 }
101 }
102 }, time_refresh*1000);
102 }, time_refresh*1000);
103 }
103 }
104 };
104 };
105
105
106 var disable_autorefresh = function(){
106 var disable_autorefresh = function(){
General Comments 0
You need to be logged in to leave comments. Login now