Run python3 explicitly for python applications (#102)

This avoids the need for a shebang line.
pull/311/head
Peter Johnson 2019-02-11 00:09:19 -08:00 committed by GitHub
parent 01f025ac12
commit 909d94c7de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -44,7 +44,7 @@ void Application::Set(wpi::StringRef appType,
} else if (appType == "example-python") { } else if (appType == "example-python") {
appDir = "examples/python-multiCameraServer"; appDir = "examples/python-multiCameraServer";
appEnv = "export PYTHONUNBUFFERED=1"; appEnv = "export PYTHONUNBUFFERED=1";
appCommand = "./multiCameraServer.py"; appCommand = "/usr/bin/python3 multiCameraServer.py";
} else if (appType == "upload-java") { } else if (appType == "upload-java") {
appCommand = appCommand =
"env LD_LIBRARY_PATH=/usr/local/frc/lib java -jar uploaded.jar"; "env LD_LIBRARY_PATH=/usr/local/frc/lib java -jar uploaded.jar";
@ -52,7 +52,7 @@ void Application::Set(wpi::StringRef appType,
appCommand = "./uploaded"; appCommand = "./uploaded";
} else if (appType == "upload-python") { } else if (appType == "upload-python") {
appEnv = "export PYTHONUNBUFFERED=1"; appEnv = "export PYTHONUNBUFFERED=1";
appCommand = "./uploaded.py"; appCommand = "/usr/bin/python3 uploaded.py";
} else if (appType == "custom") { } else if (appType == "custom") {
return; return;
} else { } else {