diff --git a/gerrit-server/src/main/java/com/google/gerrit/server/plugins/PluginLoader.java b/gerrit-server/src/main/java/com/google/gerrit/server/plugins/PluginLoader.java index 071660abc4..76cee02c42 100644 --- a/gerrit-server/src/main/java/com/google/gerrit/server/plugins/PluginLoader.java +++ b/gerrit-server/src/main/java/com/google/gerrit/server/plugins/PluginLoader.java @@ -336,7 +336,9 @@ public class PluginLoader implements LifecycleListener { private void stopRemovedPlugins(List jars) { Set unload = Sets.newHashSet(running.keySet()); for (File jar : jars) { - unload.remove(nameOf(jar)); + if (!jar.getName().endsWith(".disabled")) { + unload.remove(nameOf(jar)); + } } for (String name : unload){ log.info(String.format("Unloading plugin %s", name)); @@ -347,7 +349,9 @@ public class PluginLoader implements LifecycleListener { private void dropRemovedDisabledPlugins(List jars) { Set unload = Sets.newHashSet(disabled.keySet()); for (File jar : jars) { - unload.remove(nameOf(jar)); + if (jar.getName().endsWith(".disabled")) { + unload.remove(nameOf(jar)); + } } for (String name : unload) { disabled.remove(name);