imported patch PrismCL-protect-mainlog.patch

prism/src/prism/PrismCL.java

@@ -1023,7 +1023,10 @@ public class PrismCL implements PrismModelListener
 			mainLog.println(" during computation.");
 		}
 		mainLog.println();
-		// Close logs (in case they are files)
+
+		// Close log (in case they are files)
+		// Remove protection against closing, as here we really want to close it
+		mainLog.setIgnoreClose(false);
 		mainLog.close();
 	}
 
@@ -1772,6 +1775,9 @@ public class PrismCL implements PrismModelListener
 							errorAndExit("Couldn't open log file \"" + mainLogFilename + "\"");
 						}
 						mainLog = log;
+						// we set the flag that close() should be ignored for this log,
+						// similar to how stdout is treated automatically
+						mainLog.setIgnoreClose(true);
 						prism.setMainLog(mainLog);
 					} else {
 						errorAndExit("No file specified for -" + sw + " switch");