| author | wenzelm |
| Sun, 21 Mar 2010 19:30:19 +0100 | |
| changeset 35853 | f2126d4d0486 |
| 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'/;