Set resource pointers to NULL after freeing them

1 files changed, 6 insertions, 0 deletions

diff --git a/resources.c b/resources.c
index b58e963..60356c2 100644
--- a/resources.c
+++ b/resources.c
@@ -19,20 +19,26 @@ resources_free(resources_t * const res)
 {
     if (res->in_file != NULL) {
 	fclose(res->in_file);
+	res->in_file = NULL;
     }
     if (res->ref_file != NULL) {
 	fclose(res->ref_file);
+	res->ref_file = NULL;
     }
     if (res->out_file != NULL) {
 	fclose(res->out_file);
+	res->out_file = NULL;
     }
     if (res->in_buffer != NULL) {
 	free(res->in_buffer);
+	res->in_buffer = NULL;
     }
     if (res->ref_buffer != NULL) {
 	free(res->ref_buffer);
+	res->ref_buffer = NULL;
     }
     if (res->out_buffer != NULL) {
 	free(res->out_buffer);
+	res->out_buffer = NULL;
     }
 }