mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-10 23:45:58 -06:00
Fix connection garbage collector. Fixes #3700
This commit is contained in:
parent
494a8ac3fe
commit
ce31726af5
@ -20,3 +20,4 @@ Bug fixes
|
||||
| `Bug #3638 <https://redmine.postgresql.org/issues/3638>`_ - Fix syntax error when creating new pgAgent schedules with a start date/time and exception.
|
||||
| `Bug #3674 <https://redmine.postgresql.org/issues/3674>`_ - Cleanup session files periodically.
|
||||
| `Bug #3660 <https://redmine.postgresql.org/issues/3660>`_ - Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor.
|
||||
| `Bug #3700 <https://redmine.postgresql.org/issues/3700>`_ - Fix connection garbage collector.
|
@ -200,10 +200,10 @@ class Driver(BaseDriver):
|
||||
if sess == session.sid:
|
||||
sess_mgr['pinged'] = curr_time
|
||||
continue
|
||||
|
||||
if curr_time - sess_mgr['pinged'] >= session_idle_timeout:
|
||||
for mgr in [
|
||||
m for m in sess_mgr if isinstance(m, ServerManager)
|
||||
m for m in sess_mgr.values() if isinstance(m,
|
||||
ServerManager)
|
||||
]:
|
||||
mgr.release()
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user