-
Jonathan Michalon authoredPrints redirected to files are heavily cached, so we need to flush the stream if we want to be able to read the output in log files as soon as we return from signal handler.
42191987
Prints redirected to files are heavily cached, so we need to flush the stream if we want to be able to read the output in log files as soon as we return from signal handler.