From 50859f836916567146ad47c23c92cb5c58519e0e Mon Sep 17 00:00:00 2001 From: Khushboo Vashi Date: Fri, 7 Oct 2016 12:57:36 +0100 Subject: [PATCH] Correctly identify server type upon first connection. Fixes #1785 --- web/pgadmin/browser/server_groups/servers/__init__.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/web/pgadmin/browser/server_groups/servers/__init__.py b/web/pgadmin/browser/server_groups/servers/__init__.py index a6fe6204d..a128f2bea 100644 --- a/web/pgadmin/browser/server_groups/servers/__init__.py +++ b/web/pgadmin/browser/server_groups/servers/__init__.py @@ -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' ) )