Adding Jenkins badge

2020-02-08 18:55:26 +01:00
parent ed2cd71a61
commit d6c0ad99da
4 changed files with 7 additions and 6 deletions
--- a/client/scripts/WebConsole.js
+++ b/client/scripts/WebConsole.js
@ -208,7 +208,7 @@ function closedConnection(serverName){
 		//Inform user
 		$('#disconnectionModal').modal('show');
 	}
-	//connectionManager.deleteConnection(serverName);    #Commented because if activeConnection is null then servers cannot be deleted when disconnected
+	connectionManager.deleteConnection(serverName, true);
 }

 /**