Johannes Dahlström
3d0ff32bea
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 |
10 lat temu | |
---|---|---|
.. | ||
src/com/vaadin | Prevent duplicate detach() calls with push (#13261) | 10 lat temu |
tests/src/com/vaadin | Improved portlet configuration resolution. (#7814) | 10 lat temu |
build.xml | Enable on-the-fly SASS compilation in OSGi (#10307) | 10 lat temu |
ivy.xml | Fixed pom fails in unit tests. | 10 lat temu |