Skip to content

R
repo
Commit 12c1beb7 by Matthias Putz
Options

Fix: fixed starting repo after repo change/update

parent d93ebc42
Showing with 1 additions and 1 deletions
main.py
...@@ -520,7 +520,7 @@ def _Main(argv): ...@@ -520,7 +520,7 @@ def _Main(argv):
argv.extend(rce.extra_args) argv.extend(rce.extra_args)
try: try:
# os.execv(__file__, argv) # os.execv(__file__, argv)
subprocess.call([__file__, argv]) subprocess.call([sys.executable] + argv)
except OSError as e: except OSError as e:
print('fatal: cannot restart repo after upgrade', file=sys.stderr) print('fatal: cannot restart repo after upgrade', file=sys.stderr)
print('fatal: %s' % e, file=sys.stderr) print('fatal: %s' % e, file=sys.stderr)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment