diff options
| author | Johannes Dahlström <johannesd@vaadin.com> | 2013-09-12 17:48:47 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-09-13 14:02:10 +0000 |
| commit | 3a4351f9b777009d8e226d26125f758861ddcbb3 (patch) | |
| tree | ef72438b05286a11ce05a5fa66e114f33fb9a2a6 /publish.xml | |
| parent | 3cafce30057055d1731313c8d2833cb4c513ccd3 (diff) | |
| download | vaadin-framework-3a4351f9b777009d8e226d26125f758861ddcbb3.tar.gz vaadin-framework-3a4351f9b777009d8e226d26125f758861ddcbb3.zip | |
Ensure PushConnection is properly cleaned up on disconnect (#12226, #12522)
Change-Id: I0bab199632554655ef92a624f5654852b4b157d1
Diffstat (limited to 'publish.xml')
0 files changed, 0 insertions, 0 deletions