Confirmed; manually closing a tab doesn't send children a SIGHUP. I've pushed a reasonable looking fix to trunk.
Confirmed; manually closing a tab doesn't send children a SIGHUP. I've pushed a reasonable looking fix to trunk.