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

Do not log exception if plugin host for PluginAdvertiser is not available #IDEA-169872 fixed

Browse Source
This commit is contained in:
Ivan Chirkov
2018-12-07 12:02:38 +01:00
parent 44f73891c1
commit 8734a97e9f
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiser.java
+4
View File
@@ -45,6 +45,7 @@ import org.jetbrains.annotations.Nullable;
import javax.swing.event.HyperlinkEvent;
import java.io.File;
import java.io.IOException;
import java.net.UnknownHostException;
import java.util.*;
public class PluginsAdvertiser implements StartupActivity {
@@ -335,6 +336,9 @@ public class PluginsAdvertiser implements StartupActivity {
ApplicationManager.getApplication().invokeLater(this::onSuccess, ModalityState.NON_MODAL);
}
catch (UnknownHostException e) {
LOG.warn("Host name could not be resolved: " + e.getMessage());
}
catch (Exception e) {
LOG.info(e);
}