From 2bcdb9060a0d508f2cd3d4375e61e9edd22d07bd Mon Sep 17 00:00:00 2001
From: Luke <luke.pulverenti@gmail.com>
Date: Sat, 6 Jun 2015 22:51:20 -0400
Subject: [PATCH] update server delete function

---
 dashboard-ui/scripts/selectserver.js | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/dashboard-ui/scripts/selectserver.js b/dashboard-ui/scripts/selectserver.js
index 3c058be5aa..39c571f1ba 100644
--- a/dashboard-ui/scripts/selectserver.js
+++ b/dashboard-ui/scripts/selectserver.js
@@ -1,6 +1,7 @@
 (function () {
 
-    function connectToServer(page, server) {
+	var serverList = [];
+	function connectToServer(page, server) {
 
         Dashboard.showLoadingMsg();
 
@@ -109,6 +110,8 @@
 
     function renderServers(page, servers) {
 
+    	serverList = servers;
+
         if (servers.length) {
             $('.noServersMessage', page).hide();
         } else {
@@ -178,7 +181,13 @@
         ConnectionManager.deleteServer(id).done(function () {
 
             Dashboard.hideModalLoadingMsg();
-            loadPage(page);
+
+            // Just re-render the servers without discovering them again
+            // If we re-discover then the one they deleted may just come back
+            var newServerList = serverList.filter(function(s){
+            	return s.Id != id;
+            });
+            renderServers(page, newServerList);
 
         }).fail(function () {
 
@@ -195,6 +204,7 @@
         ConnectionManager.rejectServer(id).done(function () {
 
             Dashboard.hideModalLoadingMsg();
+
             loadPage(page);
 
         }).fail(function () {