From 694533feec3b66bded5de9536d976730a99ebb39 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 15:26:18 +0200
Subject: [PATCH] deal with null IProofMonitor in disprover
seems to happen at startup of Rodin 3.5RC
---
.../eventb/disprover/core/internal/DisproverCommand.java | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index 5c3c15d7..4ca492fa 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -106,11 +106,12 @@ public class DisproverCommand implements IComposableCommand {
job.setUser(true);
job.schedule();
- while (job.getResult() == null && !pm.isCanceled()) {
+ while (job.getResult() == null &&
+ (pm==null or !pm.isCanceled())) {
Thread.sleep(200);
}
- if (pm.isCanceled()) {
+ if (pm != null && pm.isCanceled()) {
job.cancel();
throw new InterruptedException();
}
--
GitLab