Minor fixes

2020-02-05 22:11:36 +01:00
parent 1e23c1df29
commit ed2cd71a61
2 changed files with 1 additions and 13 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);
+	//connectionManager.deleteConnection(serverName);    #Commented because if activeConnection is null then servers cannot be deleted when disconnected
 }

 /**