From eeef5cbf303db10dd098743ea4eaf1a6a2386bd3 Mon Sep 17 00:00:00 2001
From: Guus der Kinderen <guus.der.kinderen@gmail.com>
Date: Fri, 28 Jul 2017 18:13:11 +0200
Subject: [PATCH] SPARK-1888: Uninstall a plugin when the GUI instructs so.

This is a fix to what I assume to be a bug. The method, used by the UI part where plugins are managed,
is documented as 'remove and uninstall' a plugin. It only removed, but did not uninstall. I've fixed that
with this commit.
---
 core/src/main/java/org/jivesoftware/spark/PluginManager.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/main/java/org/jivesoftware/spark/PluginManager.java b/core/src/main/java/org/jivesoftware/spark/PluginManager.java
index 6fe2710ed..dae457997 100644
--- a/core/src/main/java/org/jivesoftware/spark/PluginManager.java
+++ b/core/src/main/java/org/jivesoftware/spark/PluginManager.java
@@ -1027,6 +1027,7 @@ public class PluginManager implements MainWindowListener
         {
             if ( plugin.getName().equals( publicPlugin.getName() ) )
             {
+                uninstall( plugin.getPluginDir() );
                 publicPlugins.remove( plugin );
             }
         }