diff options
| author | Artur Signell <artur@vaadin.com> | 2013-04-25 22:08:53 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-04-26 07:27:27 +0000 |
| commit | c011e0862d45d52adad371367a280bac7858e58f (patch) | |
| tree | bfab228514b87c672d7071eb3d00fba5ca4f3be9 /build.xml | |
| parent | c02a2c43e0e6170c1fc4f781aa9711de7a78ffd1 (diff) | |
| download | vaadin-framework-c011e0862d45d52adad371367a280bac7858e58f.tar.gz vaadin-framework-c011e0862d45d52adad371367a280bac7858e58f.zip | |
Deal correctly with session expired during opening of push connection (#11705)
* Added SessionExpiredHandler which any RequestHandler can implement to customize session expired handling
* The issue can be tested by creating a non-serializable UI (e.g. new Object() in a field) and restarting the server.
Change-Id: I3eb6bc56298e025bcde088af53ea656fb44e897b
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions