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

additional disposed checks

Browse Source
This commit is contained in:
Eugene Zhuravlev
2011-04-09 19:36:07 +02:00
parent f294593477
commit f30ae93906
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/project/DumbServiceImpl.java
+5 -4
View File
@@ -198,7 +198,9 @@ public class DumbServiceImpl extends DumbService {
private void updateFinished() {
myDumb = false;
myPublisher.exitDumbMode();
if (!myProject.isDisposed()) {
myPublisher.exitDumbMode();
}
while (true) {
final Runnable runnable;
synchronized (myRunWhenSmartQueue) {
@@ -207,10 +209,9 @@ public class DumbServiceImpl extends DumbService {
}
runnable = myRunWhenSmartQueue.pullFirst();
}
if (myProject.isDisposed()) {
return;
if (!myProject.isDisposed()) {
runnable.run();
}
runnable.run();
}
}