excursion: commit_exit internally -- checkpoints are fully persistent now;
excursion: do not force intermediate result states yet -- great performance improvement;
#
# Author: Makarius
#
# system.pl - invoke shell command line (with robust signal handling)
#
# args
($group, $script_name, $pid_name, $output_name) = @ARGV;
# process id
if ($group eq "group") {
use POSIX "setsid";
POSIX::setsid || die $!;
}
open (PID_FILE, ">", $pid_name) || die $!;
print PID_FILE "$$\n";
close PID_FILE;
# exec script
$SIG{'INT'} = "DEFAULT"; #paranoia setting, required for Cygwin
exec qq/exec bash '$script_name' > '$output_name'/;