Merge pull request #7066 from osadalakmal/master

Refresh terminal list. closes #7018 .

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);
             }
     };