]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f21c108) | patch
Actually close push connection in disconnect() (#13716)
authorArtur Signell <artur@vaadin.com>
Tue, 6 May 2014 14:54:11 +0000 (17:54 +0300)
committerVaadin Code Review <review@vaadin.com>
Thu, 8 May 2014 18:09:34 +0000 (18:09 +0000)
commit9b3df561fe930f1d4903eeec525c663dc8288a33
tree88b01b01b388a60edf6e4f320632cb5fee9f44f5tree | snapshot
parentf21c10882e74ec58260cae289c4180c19ff8a816commit | diff
Actually close push connection in disconnect() (#13716)

Change-Id: I342633f1caa5746472d29bbb7b71590674adc04c
server/src/com/vaadin/server/communication/AtmospherePushConnection.java diff | blob | history
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework