MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

disposed check

Browse Source
This commit is contained in:
Eugene Zhuravlev
2017-11-27 20:56:48 +01:00
parent 544fabbf4c
commit e9942d53b4
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/compiler/impl/src/com/intellij/compiler/server/BuildManager.java
+5 -6
View File
@@ -100,8 +100,7 @@ import org.jetbrains.jps.incremental.Utils;
import org.jetbrains.jps.model.java.JpsJavaSdkType;
import org.jetbrains.jps.model.java.compiler.JavaCompilers;
import javax.tools.JavaCompiler;
import javax.tools.ToolProvider;
import javax.tools.*;
import java.awt.*;
import java.io.File;
import java.io.IOException;
@@ -251,11 +250,11 @@ public class BuildManager implements Disposable {
@Override
public void after(@NotNull List<? extends VFileEvent> events) {
if (!IS_UNIT_TEST_MODE) {
ApplicationManager.getApplication().executeOnPooledThread(() -> ReadAction.run(()->{
if (shouldTriggerMake(events)) {
scheduleAutoMake();
application.executeOnPooledThread(() -> {
if (!application.isDisposed()) {
ReadAction.run(()->{ if (shouldTriggerMake(events)) scheduleAutoMake(); });
}
}));
});
}
}