diff options
author | Johannes Dahlström <johannesd@vaadin.com> | 2014-04-01 12:28:50 +0300 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2014-04-02 20:15:41 +0000 |
commit | 3d0ff32bea81c3e3c64bd044276ff04a4f8555ed (patch) | |
tree | 1021e513834ec8ca05f8535e788d6fb594510870 /uitest/src/com/vaadin/tests/extensions/SimpleJavaScriptExtensionTest.java | |
parent | 86a5f5a916747cb148ce3a2b761c0c355f867645 (diff) | |
download | vaadin-framework-3d0ff32bea81c3e3c64bd044276ff04a4f8555ed.tar.gz vaadin-framework-3d0ff32bea81c3e3c64bd044276ff04a4f8555ed.zip |
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
Diffstat (limited to 'uitest/src/com/vaadin/tests/extensions/SimpleJavaScriptExtensionTest.java')
0 files changed, 0 insertions, 0 deletions