From 6580cbdd796b20b9bb84cc7114f286eee98cfa17 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 22 Dec 2015 08:32:19 +0000
Subject: [PATCH] PrismCL: Flush logfile on error

In errorAndExit, not flushing the logfile before exiting can result
in missing output when run in nailgun mode.


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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 9473c9c2..24330646 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2392,6 +2392,7 @@ public class PrismCL implements PrismModelListener
 		}
 		// Normal case: just display error message, but don't exit
 		mainLog.println("\nError: " + s + ".");
+		mainLog.flush();
 	}
 
 	/**
@@ -2401,6 +2402,7 @@ public class PrismCL implements PrismModelListener
 	{
 		prism.closeDown(false);
 		mainLog.println("\nError: " + s + ".");
+		mainLog.flush();
 		System.exit(1);
 	}