If killing the pid for the intermediate shell Just Worked, then I wouldn't be asking this question. I must say I don't understand why it doesn't work...
It didn't occur to me to explicitly set SIGHUP to 'DEFAULT', maybe that would've made a difference.
In reply to Re^3: exec sometimes changes pid
by doom
in thread exec sometimes changes pid
by doom
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |