IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-12-26 17:01:13 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed an issue where preferences.json mapped to container was not having any effect on preferences. #6058

Browse Source
This commit is contained in:
Pravesh Sharma 2024-02-27 12:11:59 +05:30 committed by GitHub
parent 43f4cc4e17
commit 6971d8c3a1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkg/docker/entrypoint.sh
View File

@ -64,6 +64,7 @@ if [ ! -f /var/lib/pgadmin/pgadmin4.db ]; then
/venv/bin/python3 run_pgadmin.py /venv/bin/python3 run_pgadmin.py
export PGADMIN_SERVER_JSON_FILE="${PGADMIN_SERVER_JSON_FILE:-/pgadmin4/servers.json}" export PGADMIN_SERVER_JSON_FILE="${PGADMIN_SERVER_JSON_FILE:-/pgadmin4/servers.json}"
export PGADMIN_PREFERENCES_JSON_FILE="${PGADMIN_PREFERENCES_JSON_FILE:-/pgadmin4/preferences.json}"
# Pre-load any required servers # Pre-load any required servers
if [ -f "${PGADMIN_SERVER_JSON_FILE}" ]; then if [ -f "${PGADMIN_SERVER_JSON_FILE}" ]; then