From f49b2b3ec0d06c833556b7b2c7ed580c8aaf1e67 2014-11-30 12:13:40
From: Osada Paranaliyanage <osadalakmal@gmail.com>
Date: 2014-11-30 12:13:40
Subject: [PATCH] Refresh terminal list. closes #7018 .

---

diff --git a/IPython/html/static/tree/js/main.js b/IPython/html/static/tree/js/main.js
index f55c480..e2474eb 100644
--- 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);
             }
     };