From 7a416aeaf2547f719b50b030e37891abe0935c4d Mon Sep 17 00:00:00 2001
From: Jan Sucan <jan@jansucan.com>
Date: Mon, 21 Dec 2020 20:28:49 +0100
Subject: Set resource pointers to NULL after freeing them

---
 resources.c | 6 ++++++
 1 file changed, 6 insertions(+)

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;
     }
 }
-- 
cgit v1.2.3