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