diff options
| author | Leif Åstrand <leif@vaadin.com> | 2013-07-19 14:36:56 +0300 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2013-07-19 14:36:56 +0300 |
| commit | 9c8eb70dd54c1ba56d02111b9246a7767e1a0442 (patch) | |
| tree | 21f6731d7617da57c7ac02757c3ba7fe9450fc03 /push | |
| parent | 7f5a0a7827570188b7c62ed362f4724886b1a94d (diff) | |
| download | vaadin-framework-9c8eb70dd54c1ba56d02111b9246a7767e1a0442.tar.gz vaadin-framework-9c8eb70dd54c1ba56d02111b9246a7767e1a0442.zip | |
Close PushRequestHandler when VaadinServlet is destroyed (#11878)
Should be implemented using ServiceDestoryListener in Vaadin 7.2
Merge: no
Change-Id: Ibb4d37f1f95c56b80111df3a3217076af18dd93d
Diffstat (limited to 'push')
0 files changed, 0 insertions, 0 deletions