]> source.dussan.org Git - vaadin-framework.git/commit
Ensure PushConnection is properly cleaned up on disconnect (#12226, #12522)
authorJohannes Dahlström <johannesd@vaadin.com>
Thu, 12 Sep 2013 14:48:47 +0000 (17:48 +0300)
committerVaadin Code Review <review@vaadin.com>
Fri, 13 Sep 2013 14:02:10 +0000 (14:02 +0000)
commit3a4351f9b777009d8e226d26125f758861ddcbb3
treeef72438b05286a11ce05a5fa66e114f33fb9a2a6
parent3cafce30057055d1731313c8d2833cb4c513ccd3
Ensure PushConnection is properly cleaned up on disconnect (#12226, #12522)

Change-Id: I0bab199632554655ef92a624f5654852b4b157d1
server/src/com/vaadin/server/communication/AtmospherePushConnection.java
server/src/com/vaadin/server/communication/PushHandler.java
uitest/src/com/vaadin/tests/push/EnableDisablePush.html [new file with mode: 0644]
uitest/src/com/vaadin/tests/push/EnableDisablePush.java [new file with mode: 0644]