From f6340931060dd30ecb55de8b175fa2eebae81db5 Mon Sep 17 00:00:00 2001
From: Ivan Chirkov <Ivan.Chirkov@jetbrains.com>
Date: Tue, 10 Nov 2015 16:43:23 +0100
Subject: [PATCH] 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

---
 .../intellij/openapi/updateSettings/impl/PluginDownloader.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java
index a7f87f40ac54..ed6fd4be4c2e 100644
--- a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java
+++ b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java
@@ -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;