mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-07 22:53:45 -06:00
80314a9aa3
manager, once the connection to the maintenance database has been made, because - we will have did (i.e. Database OID) most of the time for the any node, and not its name as identifier. This will allow us to work directly with OID, and we will not need to bother about renaming of the database name. |
||
---|---|---|
.. | ||
pgadmin | ||
babel.cfg | ||
config.py | ||
pgAdmin4.py | ||
setup.py |