** exception exit: noconnection
Wed Dec 4 16:41:50 CET 2019
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.
More information about the erlang-questions