mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-13 00:21:59 -05:00
Ensure runtime settings are synced after they are updated.
This commit is contained in:
1 parent
e176190256
commit
2d5c69503e
1 file changed
+1
@@ -108,6 +108,7 @@ int main(int argc, char * argv[])
|
||||
{
|
||||
settings.setValue("PythonPath", pythonpath);
|
||||
settings.setValue("ApplicationPath", applicationpath);
|
||||
settings.sync();
|
||||
}
|
||||
|
||||
exit(1);
|
||||
|
||||
Reference in new issue
Block a user