##// END OF EJS Templates
Merge pull request #7066 from osadalakmal/master...
Matthias Bussonnier -
r19111:e9c0f45f merge
parent child Browse files
Show More
@@ -91,10 +91,16 b' require(['
91 91 //refresh immediately , then start interval
92 92 session_list.load_sessions();
93 93 cluster_list.load_list();
94 if (terminal_list) {
95 terminal_list.load_terminals();
96 }
94 97 if (!interval_id){
95 98 interval_id = setInterval(function(){
96 99 session_list.load_sessions();
97 100 cluster_list.load_list();
101 if (terminal_list) {
102 terminal_list.load_terminals();
103 }
98 104 }, time_refresh*1000);
99 105 }
100 106 };
General Comments 0
You need to be logged in to leave comments. Login now