Index: chrome/common/extensions/docs/server2/start_dev_server.py |
diff --git a/chrome/common/extensions/docs/server2/start_dev_server.py b/chrome/common/extensions/docs/server2/start_dev_server.py |
index ffed88deb7bf62b36e5bca613b9e7a676e9728c4..bf297f85bcca365006d1449ce927feb0878dcd32 100755 |
--- a/chrome/common/extensions/docs/server2/start_dev_server.py |
+++ b/chrome/common/extensions/docs/server2/start_dev_server.py |
@@ -30,6 +30,5 @@ build_server.main() |
for filename in FILENAMES: |
shutil.copy(os.path.join(SERVER_PATH, filename), |
os.path.join(SRC_PATH, filename)) |
-args = sys.argv[1:] |
-args.append(SRC_PATH) |
+args = [sys.executable] + sys.argv[1:] + [SRC_PATH] |
subprocess.call(args) |