PrismCL: For top-level catch-all Exception handling, ignore nailgun exception

The recently added catch-all, last resort Exception handling clashes
with the nailgun exception that is used to signal a System.exit to
the nailgun process. So, we catch this kind of exception and re-throw it.



git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11603 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismCL.java

@@ -213,6 +213,10 @@ public class PrismCL implements PrismModelListener
 				mainLog.println(st);
 			}
 			errorAndExit(e.getMessage() + ".\nTip: Try using the -cuddmaxmem switch to increase the memory available to CUDD");
+		} catch (com.martiansoftware.nailgun.NGExitException e) {
+			// we don't want to catch the nailgun exception below,
+			// so we catch it and rethrow
+			throw e;
 		} catch (Exception e) {
 			// We catch Exceptions here ourself to ensure that we actually exit
 			// In the presence of thread pools (e.g., in the JAS library when using -exact),