mirror of
https://github.com/Winds-Studio/Leaf.git
synced 2025-12-29 03:49:21 +00:00
Upstream has released updates that appear to apply and compile correctly Paper Changes: PaperMC/Paper@b0da38c2 Repository details in RuntimeException for MavenLibraryResolver#addRepository (#12939) PaperMC/Paper@1922be90 Update custom tags (#12183) PaperMC/Paper@79cf1353 Ignore HopperInventorySearchEvent when it has no listeners (#13009) PaperMC/Paper@ea014f7a feat: add stuckEntityPoiRetryDelay config (#12949) PaperMC/Paper@a9e76749 Support for showNotification in PlayerRecipeDiscoverEvent (#12992) PaperMC/Paper@5622c9dd Expose attribute sentiment (#12974) PaperMC/Paper@42b653b1 Expose more argument types (#12665) PaperMC/Paper@52d9a221 [ci/skip] Fix typo in Display javadoc (#13010) PaperMC/Paper@614e9acf Improve APIs around riptide tridents (#12996) PaperMC/Paper@51706e5a Fixed DyeItem sheep dye hunk
31 lines
1.3 KiB
Diff
31 lines
1.3 KiB
Diff
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
From: Taiyou06 <kaandindar21@gmail.com>
|
|
Date: Tue, 22 Jul 2025 22:31:58 +0200
|
|
Subject: [PATCH] Op lock
|
|
|
|
|
|
diff --git a/net/minecraft/server/players/PlayerList.java b/net/minecraft/server/players/PlayerList.java
|
|
index f0bdc2bbf358d4c5f113b395c6409ff9fa759e2f..203160ddf928b86d12a25c94550bf13b86598e03 100644
|
|
--- a/net/minecraft/server/players/PlayerList.java
|
|
+++ b/net/minecraft/server/players/PlayerList.java
|
|
@@ -1202,6 +1202,9 @@ public abstract class PlayerList {
|
|
}
|
|
|
|
public void op(GameProfile profile) {
|
|
+ if (org.dreeam.leaf.config.modules.misc.OpLock.preventOpChanges) {
|
|
+ return;
|
|
+ }
|
|
this.ops.add(new ServerOpListEntry(profile, this.server.getOperatorUserPermissionLevel(), this.ops.canBypassPlayerLimit(profile)));
|
|
ServerPlayer player = this.getPlayer(profile.getId());
|
|
if (player != null) {
|
|
@@ -1210,6 +1213,9 @@ public abstract class PlayerList {
|
|
}
|
|
|
|
public void deop(GameProfile profile) {
|
|
+ if (org.dreeam.leaf.config.modules.misc.OpLock.preventOpChanges) {
|
|
+ return;
|
|
+ }
|
|
this.ops.remove(profile);
|
|
ServerPlayer player = this.getPlayer(profile.getId());
|
|
if (player != null) {
|