summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xmain.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.py b/main.py
index 1393b400..1d73fce3 100755
--- a/main.py
+++ b/main.py
@@ -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)