Merge branch 'master' of https://github.com/NitorCreations/willow

NitorCreations · Nov 7, 2015 · 1665181 · 1665181
2 parents 95e1add + ce0e08c
commit 1665181
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/coverity.yml b/coverity.yml
@@ -46,3 +46,9 @@ triage:
     - action: suppress
       issueKey: 39f35957828ae77800ce37b8813357d3
       comment: Not cryptography, but verifying downloaded data
+    - action: suppress
+      issueKey: b56e67826256ede3c2b3a09a87c59352
+      comment: Test tool communicates success via exit codes
+    - action: suppress
+      issueKey: 0d5c043b88a2d594b552644c13e6166e
+      comment: Test tool communicates success via exit codes
diff --git a/willow-servers/src/main/java/com/nitorcreations/willow/servers/BackendProxySocket.java b/willow-servers/src/main/java/com/nitorcreations/willow/servers/BackendProxySocket.java
@@ -87,7 +87,7 @@ public void onText(Session session, String message) throws IOException
         }
         wsSession = connectFuture.get();
       } catch (InterruptedException | ExecutionException e) {
-        e.printStackTrace();
+        log.log(Level.WARNING, "Failed to connect to backend websocket", e);
       }
     }
     if (wsSession != null && wsSession.isOpen()) {