Fixes #1136 - do not to allow create a server group with same name.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=c81977d441870ce23748d321610cbdcaac11a5d0
Author: Murtuza Zabuawala <murtuza(dot)zabuawala(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/browser/server_groups/__init__.py | 12 ++++++++++++
1 file changed, 12 insertions(+)