From f25a73c6670c86bfa34fb6b2b39471a0d49d2ff3 Mon Sep 17 00:00:00 2001
From: Graeme Winter <graeme.winter@gmail.com>
Date: Thu, 2 Apr 2020 14:21:52 +0100
Subject: [PATCH] Set to NULL after free; though fixes nothing

---
 src/plugin.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/plugin.c b/src/plugin.c
index ef5be54..c1c53c4 100644
--- a/src/plugin.c
+++ b/src/plugin.c
@@ -238,7 +238,10 @@ void plugin_close(int *error_flag) {
 	}
 	file_id = 0;
 
-	if (mask_buffer) free(mask_buffer);
+	if (mask_buffer) {
+	        free(mask_buffer);
+		mask_buffer = NULL;
+	}
 	if (data_desc->free_desc) {
 		data_desc->free_desc(data_desc);
 		data_desc = NULL;