mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ensure we close project on EDT if exception happened during its opening
This commit is contained in:
+5
-3
@@ -429,9 +429,11 @@ public class ProjectManagerImpl extends ProjectManagerEx implements Disposable {
|
||||
};
|
||||
|
||||
if (!loadProjectUnderProgress(project, process)) {
|
||||
closeProject(project, false, false, false, true);
|
||||
WriteAction.run(() -> Disposer.dispose(project));
|
||||
notifyProjectOpenFailed();
|
||||
GuiUtils.invokeLaterIfNeeded(() -> {
|
||||
closeProject(project, false, false, false, true);
|
||||
WriteAction.run(() -> Disposer.dispose(project));
|
||||
notifyProjectOpenFailed();
|
||||
}, ModalityState.defaultModalityState());
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user