But there doesn't seem to be something like a logging.pause() method. This is what I have for now, but I'm concerned about the atomicity of the unpause method: while flushing the pausebuffer ...