cancellable search, strongly typed configuraion fields (later they will be listed on the advanced settings page)

2026-09-30 02:40:46 +00:00 · 2013-11-07 21:18:18 +01:00
parent 17173aef00
commit b3dc9a4d13
213 changed files with 734 additions and 469 deletions
@@ -61,7 +61,7 @@ public class GraphPart implements Serializable {
    }

    private boolean leadsTo(List<Object> localData, Graph gr, GraphSource code, GraphPart part, List<GraphPart> visited, List<Loop> loops) throws InterruptedException {
-        if (Thread.currentThread().isInterrupted()) {
+        if (Thread.interrupted()) {
            throw new InterruptedException();
        }