Slaprunner: Fix stdout redirection to tee, so tee kills gracefully if the parent process dies.

software/slaprunner/buildout.hash.cfg

@@ -23,7 +23,7 @@ md5sum = 1fc2697fe262591db0a6039c47b115c7
 
 [template-runner-import-script]
 filename = template/runner-import.sh.jinja2
-md5sum = 130193114cbbcd014af9704851410605
+md5sum = 6188b0a998d12099f471cadae1ff9a01
 
 [instance-runner-import]
 filename = instance-runner-import.cfg.in
@@ -31,7 +31,7 @@ md5sum = 5cfa49bcf20612844e1c50a85740d0b3
 
 [template-runner-export-script]
 filename = template/runner-export.sh.jinja2
-md5sum = 78b2454951e6dbe124612eafebcf5690
+md5sum = 8866e3842867148bda5c189ec504c729
 
 [instance-runner-export]
 filename = instance-runner-export.cfg.in

software/slaprunner/template/runner-export.sh.jinja2

@@ -8,7 +8,7 @@ umask 077
 set -eu
 
 # Redirect output to log
-exec > >(tee -ai '{{ output_log_file }}')
+exec > >(exec tee -ai '{{ output_log_file }}')
 exec 2>&1
 
 echo -e "\n\n$0 run at : $(date)"

software/slaprunner/template/runner-import.sh.jinja2

@@ -8,7 +8,7 @@ umask 077
 set -eu
 
 # Redirect output to log
-exec > >(tee -ai '{{ output_log_file }}')
+exec > >(exec tee -ai '{{ output_log_file }}')
 exec 2>&1
 
 echo -e "\n\n$0 run at : $(date)"