moved old the_context here;
eliminated theory ProtoPure;
renamed ML_Context.the_context to ML_Context.the_global_context;
#
# $Id$
# 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'/;