#518: Close connection on end-of-stream.

guacamole/src/main/java/org/glyptodon/guacamole/net/basic/websocket/jetty/GuacamoleWebSocketTunnelServlet.java

@@ -101,6 +101,8 @@ public abstract class GuacamoleWebSocketTunnelServlet extends WebSocketServlet {
                         try {
 
                             try {
+
+                                // Attempt to read
                                 while ((readMessage = reader.read()) != null) {
 
                                     // Buffer message
@@ -113,6 +115,10 @@ public abstract class GuacamoleWebSocketTunnelServlet extends WebSocketServlet {
                                     }
 
                                 }
+
+                                // No more data
+                                connection.close(1001, null); // Shutdown
+                                
                             }
 
                             // Catch any thrown guacamole exception and attempt

guacamole/src/main/java/org/glyptodon/guacamole/net/basic/websocket/tomcat/GuacamoleWebSocketTunnelServlet.java

@@ -111,8 +111,9 @@ public abstract class GuacamoleWebSocketTunnelServlet extends WebSocketServlet {
 
                         try {
 
-                            // Attempt to read
                             try {
+
+                                // Attempt to read
                                 while ((readMessage = reader.read()) != null) {
 
                                     // Buffer message
@@ -125,6 +126,10 @@ public abstract class GuacamoleWebSocketTunnelServlet extends WebSocketServlet {
                                     }
 
                                 }
+
+                                // No more data
+                                outbound.close(Constants.STATUS_SHUTDOWN, null);
+                                
                             }
 
                             // Catch any thrown guacamole exception and attempt