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 keep sessions 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.dhu...@enterprisedb.com> Modified Files -------------- web/pgadmin/__init__.py | 7 +++++-- web/pgadmin/utils/session.py | 4 +++- 2 files changed, 8 insertions(+), 3 deletions(-)
