diff options
author | Tatu Lund <tatu@vaadin.com> | 2019-11-05 16:16:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-05 16:16:38 +0200 |
commit | fd1a8df74a6ddba0c2ff2862ee02f58deebdf6e1 (patch) | |
tree | e4a750e5d05979a1961a063cd765f0394b7bec76 /server/src/main | |
parent | 0b627f975ddae79d4d9d1cf4b12e6c31eb31eb7a (diff) | |
download | vaadin-framework-fd1a8df74a6ddba0c2ff2862ee02f58deebdf6e1.tar.gz vaadin-framework-fd1a8df74a6ddba0c2ff2862ee02f58deebdf6e1.zip |
Fixing issue with Push stopping working in some circumstances (#11791)
* Fixing issue with Push stopping working in some circumstances
If new request is attempted when resynchronization is ongoing, the Push will stop working. This patch fixes the issue by aborting handleJson if resynch is already ongoing.
This PR supercedes https://github.com/vaadin/framework/pull/11786
Fixes #11702, #7719
* Call onResynchronize() in MessageHandler
* Optimizing
Diffstat (limited to 'server/src/main')
0 files changed, 0 insertions, 0 deletions