]> source.dussan.org Git - vaadin-framework.git/commit
Fix handling of disconnection with push (#15330)
authorArtur Signell <artur@vaadin.com>
Mon, 23 Feb 2015 21:42:34 +0000 (23:42 +0200)
committerVaadin Code Review <review@vaadin.com>
Tue, 24 Feb 2015 10:56:11 +0000 (10:56 +0000)
commit3c07368cbbc4d35534e90c769ea8ec975400c452
treec0d7b91f6384b03f5fec418ffa0669e0683bf7e5
parentfb5f6849ef032d40852f31f4c7cc933aed3b0a61
Fix handling of disconnection with push (#15330)

* The resource should not be closed when the client disconnects
* Removed "automatic" disconnection which was needed when onresume was not handled
* Don't call disconnect twice for cancelled connections

Change-Id: Id5ad9924b56c8810f759d6f9dc1da6e83e53d75b
server/src/com/vaadin/server/communication/AtmospherePushConnection.java
server/src/com/vaadin/server/communication/PushHandler.java