Refresh terminal list. closes #7018 .

12 years ago · bc55f3c16e
parent 684b31bea1
commit bc55f3c16e
1 changed files with 6 additions and 0 deletions
--- a/IPython/html/static/tree/js/main.js
+++ b/IPython/html/static/tree/js/main.js
@ -91,10 +91,16 @@ require([
        //refresh immediately , then start interval
        session_list.load_sessions();
        cluster_list.load_list();
+	if (terminal_list) {
+	    terminal_list.load_terminals();
+	}
        if (!interval_id){
            interval_id = setInterval(function(){
                    session_list.load_sessions();
                    cluster_list.load_list();
+		    if (terminal_list) {
+		        terminal_list.load_terminals();
+		    }
                }, time_refresh*1000);
            }
    };