Thread: pgAdmin 4 commit: Fix for Exception when the server is restarted.Fixes

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(-)