IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Significantly improve connection loss detection and handling in the query tool. Fixes #2815

Browse Source
This commit is contained in:
Harshal Dhumal
2018-02-01 14:29:18 +01:00
committed by Dave Page
parent c3ddb7df38
commit e0da9c5a0c
15 changed files with 1648 additions and 807 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
web/pgadmin/browser/server_groups/servers/__init__.py
View File

@@ -202,6 +202,9 @@ class ServerModule(sg.ServerGroupPluginModule):
"""
ServerType.register_preferences()
def get_exposed_url_endpoints(self):
return ['NODE-server.connect_id']
class ServerMenuItem(MenuItem):
def __init__(self, **kwargs):