summaryrefslogtreecommitdiffstats
path: root/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'main.py')
-rwxr-xr-xmain.py3
1 files changed, 1 insertions, 2 deletions
diff --git a/main.py b/main.py
index 57a59acb..b213f0a4 100755
--- a/main.py
+++ b/main.py
@@ -887,11 +887,10 @@ def _Main(argv):
887 result = KEYBOARD_INTERRUPT_EXIT 887 result = KEYBOARD_INTERRUPT_EXIT
888 except RepoChangedException as rce: 888 except RepoChangedException as rce:
889 # If repo changed, re-exec ourselves. 889 # If repo changed, re-exec ourselves.
890 #
891 argv = list(sys.argv) 890 argv = list(sys.argv)
892 argv.extend(rce.extra_args) 891 argv.extend(rce.extra_args)
893 try: 892 try:
894 os.execv(sys.executable, [__file__] + argv) 893 os.execv(sys.executable, [sys.executable, __file__] + argv)
895 except OSError as e: 894 except OSError as e:
896 print("fatal: cannot restart repo after upgrade", file=sys.stderr) 895 print("fatal: cannot restart repo after upgrade", file=sys.stderr)
897 print("fatal: %s" % e, file=sys.stderr) 896 print("fatal: %s" % e, file=sys.stderr)