Fix for Exception when the server is restarted. Fixes #2713
This issue was caused because we recently added session_write_delay in session.
So session won't be written/updated to disk from memory until specified seconds are elapsed.
However we must forcefully write/update session to disk if user loges in or out irrespective of session_write_delay to
keepsessions from memory and disk in sync as user logged in status is kept in session.
Branch
------
WEBPACK_DEVEL
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=134fde54fe8125889542908c47fffe4e176af6fc
Author: Harshal Dhumal <harshal.dhumal@enterprisedb.com>
Modified Files
--------------
web/pgadmin/__init__.py | 7 +++++--
web/pgadmin/utils/session.py | 4 +++-
2 files changed, 8 insertions(+), 3 deletions(-)