Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sadly a kind of mistake of which I'm well aware these days; previously, you can imagine that we pause, some other signal gets delivered, then, after we test sig != got but before we re-invoke pause, our desired signal arrives. Then, we hang in pause until another signal arrives (an arbitrarily long time). Also, might as well write our message without using buffered IO, to be safe.
- Loading branch information