mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Make the setup process more robust against aborted executions. Fixes #3830
This commit is contained in:
committed by
Dave Page
parent
f62d35bf3c
commit
943fc25f60
@@ -17,3 +17,8 @@ def get_version():
|
||||
return -1
|
||||
|
||||
return version.value
|
||||
|
||||
|
||||
def set_version(new_version):
|
||||
version = Version.query.filter_by(name='ConfigDB').first()
|
||||
version.value = new_version
|
||||
|
||||
Reference in New Issue
Block a user