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) |
