diff options
-rwxr-xr-x | bin/reproducible_common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 985f2eb7..d6d4a138 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -391,7 +391,7 @@ def query_db(query): if ex.orig and ex.orig.args and ex.orig.args[0] == "database is locked": print_critical_message('SQLite database locked, could not execute ' + 'query:\n"%s"\nExiting script.' % query) - exit(1) + sys.exit(1) else: print_critical_message('Error executing this query:\n' + query) raise |