safer handling of file pointers when reading/writing dumps and restarts
this change guarantees that file pointers are initialized or set to NULL when not in use. File pointers are checked for being non-null before closing them.
Axel Kohlmeyer <akohlmey@gmail.com> | Aug 21 2015, 19:51 |
junge | Oct 6 2016, 16:49 |