diff options
-rwxr-xr-x | main.py | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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) |