source.dussan.org Git - vaadin-framework.git/commit

]> source.dussan.org Git - vaadin-framework.git/commit

Add ServiceDestroyListerner used by PushRequestHandler (#12251, #11878)

Change-Id: Id6147bbfe8da7cd3e3f3744acf3ef92b8c63b37b

Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework

server/src/com/vaadin/server/ServiceDestroyEvent.java	[new file with mode: 0644]	blob
server/src/com/vaadin/server/ServiceDestroyListener.java	[new file with mode: 0644]	blob
server/src/com/vaadin/server/VaadinPortlet.java		diff \| blob \| history
server/src/com/vaadin/server/VaadinService.java		diff \| blob \| history
server/src/com/vaadin/server/VaadinServlet.java		diff \| blob \| history
server/src/com/vaadin/server/communication/PushRequestHandler.java		diff \| blob \| history