yarp opened this issue on Apr 23, 2021 ยท 28 posts
formoz posted Fri, 30 April 2021 at 5:00 PM
ok, i just experienced that even with file.flush(), you're not necessarily getting the last lines before a crash ... :)
