Pressing Ctrl-C stops bash script, but don't stop PHP script called by the script

3:23 |