diff options
-rwxr-xr-x | main.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -614,7 +614,7 @@ def _Main(argv): | |||
614 | argv = list(sys.argv) | 614 | argv = list(sys.argv) |
615 | argv.extend(rce.extra_args) | 615 | argv.extend(rce.extra_args) |
616 | try: | 616 | try: |
617 | os.execv(__file__, argv) | 617 | os.execv(sys.executable, [__file__] + argv) |
618 | except OSError as e: | 618 | except OSError as e: |
619 | print('fatal: cannot restart repo after upgrade', file=sys.stderr) | 619 | print('fatal: cannot restart repo after upgrade', file=sys.stderr) |
620 | print('fatal: %s' % e, file=sys.stderr) | 620 | print('fatal: %s' % e, file=sys.stderr) |