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

@@ -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);
 	}