From bc55f3c16e6c48bd8122f54a0db1809f8698e98d Mon Sep 17 00:00:00 2001
From: Osada Paranaliyanage <osadalakmal@gmail.com>
Date: Sun, 30 Nov 2014 12:13:40 +0000
Subject: [PATCH] Refresh terminal list. closes #7018 .

---
 IPython/html/static/tree/js/main.js | 6 ++++++
 1 file changed, 6 insertions(+)

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