From 9b3df561fe930f1d4903eeec525c663dc8288a33 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Tue, 6 May 2014 17:54:11 +0300
Subject: [PATCH] Actually close push connection in disconnect() (#13716)

Change-Id: I342633f1caa5746472d29bbb7b71590674adc04c
---
 .../server/communication/AtmospherePushConnection.java      | 6 ++++++
 1 file changed, 6 insertions(+)

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;
     }
-- 
2.39.5