Cancel besser abgefangen.

This commit is contained in:
Michael Uhl 2019-09-17 10:45:12 +02:00
parent d19124a4de
commit f40c1029f0

View File

@ -186,6 +186,10 @@ public class Typinferenz {
}
public void cancel() {
try {
compiler.usedTasks.cancel();
} catch (Exception e) {
e.printStackTrace();
}
}
}