Message292222
This is similar to the problem described in Issue 26534, which proposes “kill_group” and “killpg” APIs as a solution.
(FYI you should put a shebang at the start of the shell script, or call it as “sh -c test.sh”, to fix the “Exec format error”.) |
|
Date |
User |
Action |
Args |
2017-04-24 11:20:28 | martin.panter | set | recipients:
+ martin.panter, mjpieters |
2017-04-24 11:20:28 | martin.panter | set | messageid: <1493032828.06.0.834119288756.issue30154@psf.upfronthosting.co.za> |
2017-04-24 11:20:28 | martin.panter | link | issue30154 messages |
2017-04-24 11:20:27 | martin.panter | create | |
|