Skip to content
Snippets Groups Projects
Commit e42e4694d6d9 authored by Boris Feld's avatar Boris Feld
Browse files

Update scheduler.py to call main-run.sh instead of launch.sh

parent 6e8dcdd6b129
No related branches found
No related tags found
No related merge requests found
main-run.sh 100644 → 100755
......@@ -9,4 +9,7 @@
rm -rf "${ROOT}"/env/
target="${1-1.9:: and tagged()}"
if [ "$#" -ge 1 ]; then
shift
fi
......@@ -12,3 +15,3 @@
"${ROOT}"/launch.sh "$target" -s 10
"${ROOT}"/launch.sh "$target" -s 10 "$@"
netlify deploy
......@@ -25,7 +25,7 @@
from os.path import dirname, join, abspath
SCRIPT = abspath(join(dirname(__file__), "launch.sh"))
SCRIPT = abspath(join(dirname(__file__), "main-run.sh"))
def read_next_scheduling(task_file_path):
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment