From 653d0f0273392fef0d6f78463ef361819422a1a6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 12 Apr 2012 09:53:20 +0000
Subject: [PATCH] Fix: make sure files are closed when exporting PRISM models.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4977 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index f4ffa203..47467e3b 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1865,6 +1865,9 @@ public class Prism implements PrismSettingsListener
 		mainLog.println(getDestinationStringForFile(file));
 		PrismLog tmpLog = getPrismLogForFile(file);
 		tmpLog.print(currentModulesFile.toString());
+		// tidy up
+		if (file != null)
+			tmpLog.close();
 	}
 
 	/**
@@ -1882,6 +1885,9 @@ public class Prism implements PrismSettingsListener
 		// NB: Don't use simplify() here because doesn't work for the purposes of printing out
 		// (e.g. loss of parentheses causes precedence problems)
 		tmpLog.print(mfTmp.toString());
+		// tidy up
+		if (file != null)
+			tmpLog.close();
 	}
 
 	/**