]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86a5f5a) | patch
Prevent duplicate detach() calls with push (#13261)
authorJohannes Dahlström <johannesd@vaadin.com>
Tue, 1 Apr 2014 09:28:50 +0000 (12:28 +0300)
committerVaadin Code Review <review@vaadin.com>
Wed, 2 Apr 2014 20:15:41 +0000 (20:15 +0000)
commit3d0ff32bea81c3e3c64bd044276ff04a4f8555ed
tree1021e513834ec8ca05f8535e788d6fb594510870tree | snapshot
parent86a5f5a916747cb148ce3a2b761c0c355f867645commit | diff
Prevent duplicate detach() calls with push (#13261)

This used to happen when push was disconnected due to a UI or session
expiring. requestStart() and requestEnd() were called on disconnect
even though a disconnection is not a request.

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