Commit 694533fe authored by Michael Leuschel's avatar Michael Leuschel
Browse files

deal with null IProofMonitor in disprover

seems to happen at startup of Rodin 3.5RC
parent 0c6ed428
......@@ -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();
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment