aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--server/src/com/vaadin/server/communication/AtmospherePushConnection.java6
1 files changed, 6 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/communication/AtmospherePushConnection.java b/server/src/com/vaadin/server/communication/AtmospherePushConnection.java
index 4727720f4b..3eae848adc 100644
--- a/server/src/com/vaadin/server/communication/AtmospherePushConnection.java
+++ b/server/src/com/vaadin/server/communication/AtmospherePushConnection.java
@@ -287,6 +287,12 @@ public class AtmospherePushConnection implements PushConnection {
outgoingMessage = null;
}
+ try {
+ resource.close();
+ } catch (IOException e) {
+ getLogger()
+ .log(Level.INFO, "Error when closing push connection", e);
+ }
resource = null;
state = State.DISCONNECTED;
}