From 228dd549c3f88a987a849a6f0d9bf7b5b0b882f0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 29 May 2014 00:40:35 +0000 Subject: [PATCH] Add some missing/extra log close()s - from Jens. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8342 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 1 + prism/src/prism/PrismCL.java | 3 +++ 2 files changed, 4 insertions(+) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 337807eb..89ecaaeb 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -2169,6 +2169,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener case Prism.EXPORT_DOT_STATES: throw new PrismException("Export not yet supported"); } + tmpLog.close(); } // for export to dot with states, need to do a bit more diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index ec5904c2..1fdc475e 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -894,6 +894,9 @@ public class PrismCL implements PrismModelListener } mainLog.println(); ParamModelChecker.closeDown(); + // Close logs (in case they are files) + mainLog.close(); + techLog.close(); } // PrismModelListener methods