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

Correctly identify server type upon first connection. Fixes #1785

Browse Source
This commit is contained in:
Khushboo Vashi 2016-10-07 12:57:36 +01:00 committed by Dave Page
parent 4e86345c28
commit 50859f8369
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -623,18 +623,17 @@ class ServerNode(PGChildNodeView):
user = manager.user_info
connected = True
icon = "icon-pg"
return jsonify(
node=self.blueprint.generate_browser_node(
"%d" % server.id, server.servergroup_id,
server.name,
icon,
'icon-{0}'.format(manager.server_type) if manager.server_type else "icon-pg",
True,
self.node_type,
user=user,
connected=connected,
server_type='pg' # Default server type
server_type=manager.server_type if manager.server_type else 'pg'
)
)