Commit 70015d7a0e09198dfe1d24d340818d8769ff6ab8

Stefan Sperling 2019-11-08T20:27:38

hide EINTR again when got exits due to Ctrl-C