Also skip detached plugin installation if a *.[jh]pl file exists. (#4100)

This commit is contained in:
Jesse Glick authored and Oleg Nenashev committed 2019-07-11 16:55:41 +02:00
1 parent f76ee6d878
commit b9d507cbcf
1 file changed
+4 -1
+4 -1
View File
@@ -602,7 +602,10 @@ public abstract class PluginManager extends AbstractModelObject implements OnMas
}
void considerDetachedPlugin(String shortName) {
if (new File(rootDir, shortName + ".jpi").isFile() || new File(rootDir, shortName + ".hpi").isFile()) {
if (new File(rootDir, shortName + ".jpi").isFile() ||
new File(rootDir, shortName + ".hpi").isFile() ||
new File(rootDir, shortName + ".jpl").isFile() ||
new File(rootDir, shortName + ".hpl").isFile()) {
LOGGER.fine(() -> "not considering loading a detached dependency " + shortName + " as it is already on disk");
return;
}