From c1b2347d0f9aa5939a16afaa6afd5e18ea8db4f9 Mon Sep 17 00:00:00 2001
From: Anna Kozlova <anna.kozlova@jetbrains.com>
Date: Wed, 23 Jan 2013 13:55:21 +0400
Subject: [PATCH] install plugin from disc: check compatibility(IDEA-99533)

---
 .../com/intellij/ide/plugins/InstalledPluginsManagerMain.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
index c423f9869207..a47e14a74848 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
@@ -111,6 +111,10 @@ public class InstalledPluginsManagerMain extends PluginManagerMain {
                     Messages.showErrorDialog("Fail to load plugin descriptor from file " + file.getName(), CommonBundle.getErrorTitle());
                     return;
                   }
+                  if (PluginManager.isIncompatible(pluginDescriptor)) {
+                    Messages.showErrorDialog("Plugin " + pluginDescriptor.getName() + " is incompatible with current installation", CommonBundle.getErrorTitle());
+                    return;
+                  }
                   final IdeaPluginDescriptor alreadyInstalledPlugin = PluginManager.getPlugin(pluginDescriptor.getPluginId());
                   if (alreadyInstalledPlugin != null) {
                     final File oldFile = alreadyInstalledPlugin.getPath();