From 0bfe72d06b55b0db076c900c6c2173b59c8b75f3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 22 Feb 2012 14:06:44 +0000 Subject: [PATCH 1/1] Run jobs with 'set -e' so that they exit on error. --- daemon/daemon.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/daemon/daemon.ml b/daemon/daemon.ml index 6f5edfb..6ccfcce 100644 --- a/daemon/daemon.ml +++ b/daemon/daemon.ml @@ -353,6 +353,7 @@ and run_job job = (* Create a temporary file containing the shell script fragment. *) let script = dir // "script" in let chan = open_out script in + fprintf chan "set -e\n"; (* So that jobs exit on error. *) output_string chan job.job_script.sh_script; close_out chan; chmod script 0o700; -- 1.8.3.1