** exception exit: noconnection

[Roger Lipscombe]

On Wed, 4 Dec 2019 at 15:06, Adam Lindberg <hello@REDACTED> wrote:
> It does receive an exit signal, and then dies because of it, no?

Sorry. Lack of precision: it's not *trapping* exit signals by default,
so it gets default-killed. The process that owns the shell process
traps *that*, but can't tell the difference, so emitting a different
message for the two cases might not be that simple.