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

Fix NPE in plugin manager

Browse Source
This commit is contained in:
Roman Shevchenko
2011-09-14 11:56:21 +02:00
parent b854912125
commit 5dc3cd81c6
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
+4 -2
View File
@@ -204,7 +204,7 @@ public class PluginManager {
}
}
private static void initializePlugins(StartupProgress progress) {
private static void initializePlugins(@Nullable StartupProgress progress) {
configureExtensions();
final IdeaPluginDescriptorImpl[] pluginDescriptors = loadDescriptors(progress);
@@ -271,7 +271,9 @@ public class PluginManager {
}
pluginDescriptor.registerExtensions();
progress.showProgress("", 0.5f + (i++/(float )result.size()) * 0.25f);
if (progress != null) {
progress.showProgress("", 0.5f + (i++ / (float)result.size()) * 0.25f);
}
}
ourPlugins = pluginDescriptors;