IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-07-07 04:53:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

Ensure preferences can be loaded using preferences.json. #7516

Browse Source
This commit is contained in:
Yogesh Mahajan 2024-06-12 12:07:28 +05:30 committed by GitHub
parent 0cb75bdcab
commit bdadc77235
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/setup.py
View File

@ -496,6 +496,8 @@ class ManagePreferences:
sqlite_path: Optional[str] = None,
):
"""Set User preferences."""
if not pref_options:
pref_options = []
if input_file:
from urllib.parse import unquote