post_to_file() shouldn't close the file since it didn't open it.

14 jobs for !116 with poll-update in 25 minutes and 57 seconds (queued for 18 seconds)
latest merge request