diff options
| author | Artur Signell <artur@vaadin.com> | 2014-05-06 17:54:11 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2014-05-08 18:09:34 +0000 |
| commit | 9b3df561fe930f1d4903eeec525c663dc8288a33 (patch) | |
| tree | 88b01b01b388a60edf6e4f320632cb5fee9f44f5 /server | |
| parent | f21c10882e74ec58260cae289c4180c19ff8a816 (diff) | |
| download | vaadin-framework-9b3df561fe930f1d4903eeec525c663dc8288a33.tar.gz vaadin-framework-9b3df561fe930f1d4903eeec525c663dc8288a33.zip | |
Actually close push connection in disconnect() (#13716)
Change-Id: I342633f1caa5746472d29bbb7b71590674adc04c
Diffstat (limited to 'server')
| -rw-r--r-- | server/src/com/vaadin/server/communication/AtmospherePushConnection.java | 6 |
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; } |