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

Plugins: show plugins from custom repos when main is not available

Browse Source
This commit is contained in:
Alexander Lobas
2019-01-23 15:45:02 +03:00
parent a136c8d291
commit f8e42dd3d4
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java
+8 -4
View File
@@ -1400,12 +1400,16 @@ public class PluginManagerConfigurableNew
}
}
}
catch (UnknownHostException e) {
PluginManagerMain.LOG.info("Main plugin repository '" + e.getMessage() + "' is not available. Please check your network settings.");
}
catch (IOException e) {
if (host == null) {
exception = e;
//noinspection InstanceofCatchParameter
if (e instanceof UnknownHostException) {
PluginManagerMain.LOG
.info("Main plugin repository '" + e.getMessage() + "' is not available. Please check your network settings.");
}
else {
exception = e;
}
}
else {
PluginManagerMain.LOG.info(host, e);