session close

JabRef · Jul 15, 2017 · ec0856c · ec0856c
1 parent 05cace0
commit ec0856c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/jabref/logic/sharelatex/WebSocketClientWrapper.java b/src/main/java/org/jabref/logic/sharelatex/WebSocketClientWrapper.java
@@ -289,6 +289,7 @@ public void leaveDocAndCloseConn() throws IOException {
         if (session != null) {
             session.close();
         }
+
     }
 
     public void setServerNameOrigin(String serverOrigin) {