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

If the latest version of plugin was the same as installed and this version was considered broken then it was still offered to upgrade to this version (the same) #IDEA-147718 fixed

Browse Source
This commit is contained in:
Ivan Chirkov
2015-11-10 16:50:47 +01:00
parent 28a604045e
commit f634093106
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java
+1 -1
View File
@@ -193,7 +193,7 @@ public class PluginDownloader {
public static int compareVersionsSkipBrokenAndIncompatible(@NotNull IdeaPluginDescriptor existingPlugin, String newPluginVersion) {
int state = comparePluginVersions(newPluginVersion, existingPlugin.getVersion());
if (state <= 0 && (PluginManagerCore.isBrokenPlugin(existingPlugin) || PluginManagerCore.isIncompatible(existingPlugin))) {
if (state < 0 && (PluginManagerCore.isBrokenPlugin(existingPlugin) || PluginManagerCore.isIncompatible(existingPlugin))) {
state = 1;
}
return state;