Juergen Hoeller 4fc6ead548 SessionDisconnectEvent actually preserves given session user ...

Issue: SPR-13871
(cherry picked from commit cdc9bf7)

2016-01-26 20:29:08 +01:00

..

src

SessionDisconnectEvent actually preserves given session user

2016-01-26 20:29:08 +01:00