Stefan Schuermans
fix read_file: close file on success
Stefan Schuermans commited 6843f6b at 2021-01-12 20:46:31