Commit eb73a30f7effc51c1cfee2864102635e3659f87a

Stefan Sperling 2019-03-07T13:00:23

do not deadlock in waitpid() when user hits Ctrl-C