From 84098164381c16ad912c0971c5cf519022fda413 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Thu, 11 Oct 2007 08:46:33 +0000
Subject: [PATCH] Attempt to fix deadlock bug that occurs when properties are
 verified quickly. IconThread caused deadlock.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@444 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../properties/computation/ModelCheckThread.java          | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/prism/src/userinterface/properties/computation/ModelCheckThread.java b/prism/src/userinterface/properties/computation/ModelCheckThread.java
index 2bd14022..dd5c8386 100644
--- a/prism/src/userinterface/properties/computation/ModelCheckThread.java
+++ b/prism/src/userinterface/properties/computation/ModelCheckThread.java
@@ -109,7 +109,13 @@ public class ModelCheckThread extends GUIComputationThread
 				error(e.getMessage());
 			}
 			ic.interrupt();
-			while(!ic.canContinue){}
+			try
+			{
+				ic.join();
+			}
+			catch(InterruptedException e)
+			{}
+			//while(!ic.canContinue){}
 			gp.setResult(result);
 			gp.setMethodString("Verification");
 			gp.setConstants(definedMFConstants, definedPFConstants);