Commit 50473487 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Potential fix for #147.

parent 2e239a3b
...@@ -1779,9 +1779,13 @@ public class Solver<D extends DataStructureFactory> ...@@ -1779,9 +1779,13 @@ public class Solver<D extends DataStructureFactory>
@Override @Override
public void run() { public void run() {
Solver.this.undertimeout = false; Solver.this.undertimeout = false;
synchronized (Solver.this.timer) {
if (Solver.this.timer != null) {
Solver.this.timer.cancel(); Solver.this.timer.cancel();
Solver.this.timer = null; Solver.this.timer = null;
} }
}
}
}; };
this.timer = new Timer(true); this.timer = new Timer(true);
this.timer.schedule(stopMe, this.timeout); this.timer.schedule(stopMe, this.timeout);
......
Supports Markdown
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