From e9c0f45f39cd472e0e84f704a0546d12f77bae57 2014-11-30 13:06:04
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2014-11-30 13:06:04
Subject: [PATCH] Merge pull request #7066 from osadalakmal/master

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