From b4dd82bfa166d5f435695345d1f5a69dcd806781 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 10 Aug 2016 17:23:18 +0000 Subject: [PATCH] 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 | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 37be9a3b..bcf28950 100644 --- a/prism/src/prism/PrismCL.java +++ b/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),