| author | immler@in.tum.de |
| Tue, 20 Jan 2009 22:19:46 +0100 | |
| changeset 29595 | 93ff1bca5e15 |
| parent 29145 | b1c6f4563df7 |
| child 34197 | aecdcaaa8ff3 |
| permissions | -rw-r--r-- |
# # 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'/;