From 252bd9aa9d31c9d6e514c77fe08ce4807eb413aa Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Tue, 11 Feb 2025 05:13:07 -0500
Subject: [PATCH] must close "owned" file pointer if a different one is is
 assigned

---
 src/safe_pointers.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/safe_pointers.h b/src/safe_pointers.h
index 8ae6ab74e4..af6e51d64b 100644
--- a/src/safe_pointers.h
+++ b/src/safe_pointers.h
@@ -44,6 +44,7 @@ class SafeFilePtr {
 
   SafeFilePtr &operator=(FILE *_fp)
   {
+    if (fp && (fp != _fp)) fclose(fp);
     fp = _fp;
     return *this;
   }