From c5b48bbf299bb9a0a9b6dc5254b6057298a56abf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 16 Oct 2018 16:47:56 +0200
Subject: Suggested fix: close file.

---
 src/base/cmd/cmdStarter.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/base')

diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c
index 47cdd9ed..ffb2b752 100644
--- a/src/base/cmd/cmdStarter.c
+++ b/src/base/cmd/cmdStarter.c
@@ -176,7 +176,8 @@ void Cmd_RunStarter( char * pFileName, char * pBinary, char * pCommand, int nCor
                 ABC_FREE( Buffer );
                 fclose( pFile );
                 return;
-            }    
+            }
+            fclose( pFileTemp );
         }
     } 
  
-- 
cgit v1.2.3