# HG changeset patch
# User Boris Feld <boris.feld@octobus.net>
# Date 1542128233 -3600
#      Tue Nov 13 17:57:13 2018 +0100
# Node ID e42e4694d6d9e3b7381b9dacc97de1dd06619e3c
# Parent  6e8dcdd6b129d7ed4ff9db9d119782c98b87ae10
Update scheduler.py to call main-run.sh instead of launch.sh

diff --git a/main-run.sh b/main-run.sh
old mode 100644
new mode 100755
--- a/main-run.sh
+++ b/main-run.sh
@@ -9,6 +9,9 @@
 rm -rf "${ROOT}"/env/
 
 target="${1-1.9:: and tagged()}"
+if [ "$#" -ge 1 ]; then
+    shift
+fi
 
-"${ROOT}"/launch.sh "$target" -s 10
+"${ROOT}"/launch.sh "$target" -s 10 "$@"
 netlify deploy
diff --git a/scheduler.py b/scheduler.py
--- a/scheduler.py
+++ b/scheduler.py
@@ -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):