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

Fix an issue where the preferences JSON file has no effect when an external database is used. #7618

Browse Source
This commit is contained in:
Pravesh Sharma 2024-07-09 12:52:23 +05:30 committed by GitHub
parent 5c5b61c4db
commit f3c95d9643
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
web/setup.py
View File

@ -549,9 +549,9 @@ class ManagePreferences:
if f in prefs:
ids = prefs[f].split(":")
_row = {
'mid': ids[0],
'category_id': ids[1],
'id': ids[2],
'mid': int(ids[0]),
'category_id': int(ids[1]),
'id': int(ids[2]),
'name': final_opt[2],
'user_id': user_id,
'value': val}