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

logging

Browse Source
This commit is contained in:
Dmitry Avdeev
2015-10-28 14:38:23 +03:00
parent 718884c89c
commit aef02e4dfd
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
+7 -1
View File
@@ -57,6 +57,8 @@ import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;
public class PluginManagerCore {
private static final Logger LOG = Logger.getInstance(PluginManagerCore.class);
@NonNls private static final String DISABLED_PLUGINS_FILENAME = "disabled_plugins.txt";
@NonNls public static final String CORE_PLUGIN_ID = "com.intellij";
@NonNls private static final String META_INF = "META-INF";
@@ -1115,6 +1117,7 @@ public class PluginManagerCore {
if (!StringUtil.isEmpty(descriptor.getSinceBuild())) {
BuildNumber sinceBuild = BuildNumber.fromString(descriptor.getSinceBuild(), descriptor.getName());
if (sinceBuild.compareTo(buildNumber) > 0) {
LOG.warn("Can't load " + descriptor + ": since build " + sinceBuild + " does not match " + buildNumber);
return true;
}
}
@@ -1122,11 +1125,14 @@ public class PluginManagerCore {
if (!StringUtil.isEmpty(descriptor.getUntilBuild()) && !buildNumber.isSnapshot()) {
BuildNumber untilBuild = BuildNumber.fromString(descriptor.getUntilBuild(), descriptor.getName());
if (untilBuild.compareTo(buildNumber) < 0) {
LOG.warn("Can't load " + descriptor + ": until build " + untilBuild + " does not match " + buildNumber);
return true;
}
}
}
catch (RuntimeException ignored) { }
catch (RuntimeException e) {
LOG.error(e);
}
return false;
}