author | wenzelm |
Sun, 21 Mar 2010 17:12:31 +0100 | |
changeset 35849 | b5522b51cb1e |
parent 35024 | 0faeabd99289 |
permissions | -rwxr-xr-x |
#!/usr/bin/env perl # # Author: Makarius # # bash - invoke shell command line (with robust signal handling) # use warnings; use strict; # args my ($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 "$$"; close PID_FILE; # exec script exec qq/exec bash '$script_name' > '$output_name'/;