mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-08-18 08:54:49 -05:00
database server, shown in the preferences dialog. Also, fixed the issue, when server type is not defined in the DEFAULT_BINARY_PATHS, in the configuration.