From fcd89e3539b9e8b42d1fad9d5fe9764070c08aeb Mon Sep 17 00:00:00 2001
From: Carlos <28845529+mesacarlos@users.noreply.github.com>
Date: Sun, 18 Aug 2019 18:50:36 +0200
Subject: [PATCH] Now servers can be deleted from persistence.

---
 client/index.html                         |  3 +++
 client/scripts/WebConsoleJqueryHandler.js | 22 ++++++++++++++++++++++
 2 files changed, 25 insertions(+)

diff --git a/client/index.html b/client/index.html
index 4ea3d6f..dec73e6 100644
--- a/client/index.html
+++ b/client/index.html
@@ -89,6 +89,9 @@
 							</div>
 						</div>
 					</div>
+					<div class="col-sm-3 mb-2">
+						<button type="button" class="btn btn-danger" id="deleteServerButton">Delete server</button>
+					</div>
 				</div>
 				<div class="input-group mb-3">
 					<textarea class="form-control" rows="20" id="consoleTextArea" disabled style="resize: none;"></textarea>
diff --git a/client/scripts/WebConsoleJqueryHandler.js b/client/scripts/WebConsoleJqueryHandler.js
index 9879ed6..6276d40 100644
--- a/client/scripts/WebConsoleJqueryHandler.js
+++ b/client/scripts/WebConsoleJqueryHandler.js
@@ -106,6 +106,28 @@ $("#commandInput").on('keypress', function (e) {
 	}
 });
 
+/**
+* On delete server button click
+*/
+$("#deleteServerButton").click(function() {
+	var name = connectionManager.activeConnection.serverName;
+	//Remove subscribers
+	connectionManager.activeConnection.removeSubscribers();
+	
+	//Delete from active connections
+	connectionManager.deleteConnection(name);
+	
+	//Back to homepage
+	backToHomepage();
+	
+	//Remove from persistence
+	persistenceManager.deleteServer(name);
+	
+	//Update dropdown
+	updateServerList();
+	
+});
+
 /**
 * On Navbar Home link clicked
 */