2019-05-05 04:23:25 +02:00
From f494013c45946ca64c7f307884d2b777738b3988 Mon Sep 17 00:00:00 2001
2018-08-12 08:34:34 +02:00
From: Aikar <aikar@aikar.co>
Date: Sun, 12 Aug 2018 02:33:39 -0400
Subject: [PATCH] Use a Queue for Queueing Commands
Lists are bad as Queues mmmkay.
diff --git a/src/main/java/net/minecraft/server/DedicatedServer.java b/src/main/java/net/minecraft/server/DedicatedServer.java
2019-05-05 04:23:25 +02:00
index c2c676e3b..3d452fe0e 100644
2018-08-12 08:34:34 +02:00
--- a/src/main/java/net/minecraft/server/DedicatedServer.java
+++ b/src/main/java/net/minecraft/server/DedicatedServer.java
2019-05-05 04:23:25 +02:00
@@ -41,7 +41,7 @@ public class DedicatedServer extends MinecraftServer implements IMinecraftServer
2018-08-12 08:34:34 +02:00
private static final Logger LOGGER = LogManager.getLogger();
2019-05-05 04:23:25 +02:00
private static final Pattern j = Pattern.compile("^[a-fA-F0-9]{40}$");
2018-12-17 06:18:06 +01:00
- private final List<ServerCommand> serverCommandQueue = Collections.synchronizedList(Lists.newArrayList());
+ private final java.util.Queue<ServerCommand> serverCommandQueue = new java.util.concurrent.ConcurrentLinkedQueue<ServerCommand>(); // Paper - use a proper queue
2019-05-05 04:23:25 +02:00
private RemoteStatusListener l;
public final RemoteControlCommandListener remoteControlCommandListener;
private RemoteControlListener remoteControlListener;
@@ -442,8 +442,10 @@ public class DedicatedServer extends MinecraftServer implements IMinecraftServer
2018-08-12 08:34:34 +02:00
2018-12-17 06:18:06 +01:00
public void handleCommandQueue() {
2018-08-12 08:34:34 +02:00
MinecraftTimings.serverCommandTimer.startTiming(); // Spigot
- while (!this.serverCommandQueue.isEmpty()) {
- ServerCommand servercommand = (ServerCommand) this.serverCommandQueue.remove(0);
+ // Paper start - use proper queue
+ ServerCommand servercommand;
+ while ((servercommand = this.serverCommandQueue.poll()) != null) {
+ // Paper end
// CraftBukkit start - ServerCommand for preprocessing
ServerCommandEvent event = new ServerCommandEvent(console, servercommand.command);
--
2019-03-20 02:46:00 +01:00
2.21.0
2018-08-12 08:34:34 +02:00