MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-04 17:20:55 +07:00
Code Issues Packages Projects Releases Wiki Activity

avoid project disposed exception

Browse Source
This commit is contained in:
Dmitry Jemerov
2012-10-02 13:51:58 +02:00
parent 45b219edbd
commit 543d2a61c5
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/src/com/jetbrains/python/sdk/PySkeletonRefresher.java
View File

@@ -284,15 +284,13 @@ public class PySkeletonRefresher {
cleanUpSkeletons(skeletonsDir); cleanUpSkeletons(skeletonsDir);
} }
if (mustUpdateBuiltins) { if (mustUpdateBuiltins && myProject != null) {
ApplicationManager.getApplication().invokeLater(new Runnable() { ApplicationManager.getApplication().invokeLater(new Runnable() {
@Override @Override
public void run() { public void run() {
if (myProject != null) { DaemonCodeAnalyzer.getInstance(myProject).restart();
DaemonCodeAnalyzer.getInstance(myProject).restart();
}
} }
}); }, myProject.getDisposed());
} }
return errorList; return errorList;