]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f5a0a7) | patch
Close PushRequestHandler when VaadinServlet is destroyed (#11878)
authorLeif Åstrand <leif@vaadin.com>
Fri, 19 Jul 2013 11:36:56 +0000 (14:36 +0300)
committerLeif Åstrand <leif@vaadin.com>
Fri, 19 Jul 2013 11:36:56 +0000 (14:36 +0300)
commit9c8eb70dd54c1ba56d02111b9246a7767e1a0442
tree21f6731d7617da57c7ac02757c3ba7fe9450fc03tree | snapshot
parent7f5a0a7827570188b7c62ed362f4724886b1a94dcommit | diff
Close PushRequestHandler when VaadinServlet is destroyed (#11878)

Should be implemented using ServiceDestoryListener in Vaadin 7.2

Merge: no

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