mirror of
https://github.com/PaperMC/Paper.git
synced 2025-02-18 11:22:15 +01:00
Don't load plugins prefixed with a dot (#7392)
This commit is contained in:
parent
b594948dc6
commit
61ecf80013
1 changed files with 18 additions and 0 deletions
18
patches/api/Don-t-load-plugins-prefixed-with-a-dot.patch
Normal file
18
patches/api/Don-t-load-plugins-prefixed-with-a-dot.patch
Normal file
|
@ -0,0 +1,18 @@
|
|||
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
||||
From: Noah van der Aa <ndvdaa@gmail.com>
|
||||
Date: Sat, 22 Jan 2022 16:35:44 +0100
|
||||
Subject: [PATCH] Don't load plugins prefixed with a dot
|
||||
|
||||
|
||||
diff --git a/src/main/java/org/bukkit/plugin/SimplePluginManager.java b/src/main/java/org/bukkit/plugin/SimplePluginManager.java
|
||||
index 0000000000000000000000000000000000000000..0000000000000000000000000000000000000000 100644
|
||||
--- a/src/main/java/org/bukkit/plugin/SimplePluginManager.java
|
||||
+++ b/src/main/java/org/bukkit/plugin/SimplePluginManager.java
|
||||
@@ -0,0 +0,0 @@ public final class SimplePluginManager implements PluginManager {
|
||||
final List<File> pluginJars = new ArrayList<>(java.util.Arrays.asList(directory.listFiles()));
|
||||
pluginJars.addAll(extraPluginJars);
|
||||
for (File file : pluginJars) {
|
||||
+ if (file.getName().startsWith(".") && !extraPluginJars.contains(file)) continue; // Don't load plugin if the file name starts with a dot, except if it's a extra plugin jar.
|
||||
// Paper end
|
||||
PluginLoader loader = null;
|
||||
for (Pattern filter : filters) {
|
Loading…
Add table
Reference in a new issue