diff options
Diffstat (limited to 'launch.py')
-rw-r--r-- | launch.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -327,7 +327,7 @@ def prepare_environment(): if args.update_all_extensions:
git_pull_recursive(extensions_dir)
-
+
if "--exit" in sys.argv:
print("Exiting because of --exit argument")
exit(0)
|