diff options
author | pllvsis | 2019-08-20 12:30:11 +0530 |
---|---|---|
committer | GitHub | 2019-08-20 12:30:11 +0530 |
commit | b029dd8a9f5a3a09d1e1629b78d3923606fa4ad2 (patch) | |
tree | 16d7ab22f2eeedefdec6c1377ffa3030f91f4f5f /tasks.py | |
parent | 9522f91a0d34d83bde7c6d9ceb4f941767351284 (diff) | |
download | online_test-b029dd8a9f5a3a09d1e1629b78d3923606fa4ad2.tar.gz online_test-b029dd8a9f5a3a09d1e1629b78d3923606fa4ad2.tar.bz2 online_test-b029dd8a9f5a3a09d1e1629b78d3923606fa4ad2.zip |
Fixed Python version reference in command line
Diffstat (limited to 'tasks.py')
-rw-r--r-- | tasks.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ SRC_IMAGE_NAME = 'fossee/yaksh_codeserver' CHECK_FILE = 'server_running.txt' CHECK_FILE_PATH = os.path.join(SCRIPT_DIR, 'yaksh_data', CHECK_FILE) OS_NAME = sys.platform -PYTHON_COMMAND = "python2" if sys.version_info[0] < 3 else "python3" +PYTHON_COMMAND = "python{0}".format(".".join(map(str, sys.version_info[:2]))) def create_dir(path): if not os.path.exists(path): |