| Index: scripts/tools/runit.py
|
| diff --git a/scripts/tools/runit.py b/scripts/tools/runit.py
|
| index 8180e74b3eb69b0b1536a9739890affdcb81f059..4f985ccfa833b1978c0bb61eb03df5a67817fceb 100755
|
| --- a/scripts/tools/runit.py
|
| +++ b/scripts/tools/runit.py
|
| @@ -86,7 +86,7 @@ def main():
|
| print 'Set PYTHONPATH: %s' % os.environ['PYTHONPATH']
|
|
|
| # Use subprocess instead of execv because otherwise windows destroys quoting.
|
| - p = subprocess.Popen(args)
|
| + p = subprocess.Popen([sys.executable] + args)
|
| p.wait()
|
| return p.returncode
|
|
|
|
|