mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fix an exception that could occur when the browser pings the server following a restart. Fixes #1707
This commit is contained in:
parent
2440f89a71
commit
881d2a60a4
@ -1735,7 +1735,7 @@ class Driver(BaseDriver):
|
|||||||
for sess in self.managers:
|
for sess in self.managers:
|
||||||
sess_mgr = self.managers[sess]
|
sess_mgr = self.managers[sess]
|
||||||
|
|
||||||
if sess == session['_id']:
|
if sess == session.get('_id'):
|
||||||
sess_mgr['pinged'] = curr_time
|
sess_mgr['pinged'] = curr_time
|
||||||
continue
|
continue
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user