GUI -- Preventing UI web-socket from attempting to re-open when shutdown.

Change-Id: I4851542d20a3e20b085d42f1fa235909d42f05eb

@@ -42,14 +42,18 @@ public class UiWebSocketServlet extends WebSocketServlet {
     private final Set<UiWebSocket> sockets = new HashSet<>();
     private final Set<UiWebSocket> sockets = new HashSet<>();
     private final Timer timer = new Timer();
     private final Timer timer = new Timer();
     private final TimerTask pruner = new Pruner();
     private final TimerTask pruner = new Pruner();
+    private boolean isStopped = false;
 
 
     /**
     /**
      * Closes all currently open UI web-sockets.
      * Closes all currently open UI web-sockets.
      */
      */
     public static void closeAll() {
     public static void closeAll() {
         if (instance != null) {
         if (instance != null) {
+            instance.isStopped = true;
             instance.sockets.forEach(UiWebSocket::close);
             instance.sockets.forEach(UiWebSocket::close);
             instance.sockets.clear();
             instance.sockets.clear();
+            instance.pruner.cancel();
+            instance.timer.cancel();
         }
         }
     }
     }
 
 
@@ -62,6 +66,9 @@ public class UiWebSocketServlet extends WebSocketServlet {
 
 
     @Override
     @Override
     public WebSocket doWebSocketConnect(HttpServletRequest request, String protocol) {
     public WebSocket doWebSocketConnect(HttpServletRequest request, String protocol) {
+        if (isStopped) {
+            return null;
+        }
         UiWebSocket socket = new UiWebSocket(directory);
         UiWebSocket socket = new UiWebSocket(directory);
         synchronized (sockets) {
         synchronized (sockets) {
             sockets.add(socket);
             sockets.add(socket);