| changeset 35024 | 0faeabd99289 |
| parent 35023 | 16f9877abf0b |
| 35023:16f9877abf0b | 35024:0faeabd99289 |
|---|---|
26 close PID_FILE; |
26 close PID_FILE; |
27 |
27 |
28 |
28 |
29 # exec script |
29 # exec script |
30 |
30 |
31 $SIG{'INT'} = "DEFAULT"; #paranoia setting, required for Cygwin |
|
32 exec qq/exec bash '$script_name' > '$output_name'/; |
31 exec qq/exec bash '$script_name' > '$output_name'/; |