2021-06-11 14:02:28 +02:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
|
From: Jake Potrebic <jake.m.potrebic@gmail.com>
|
|
|
|
Date: Mon, 4 Jan 2021 19:49:15 -0800
|
|
|
|
Subject: [PATCH] fix converting txt to json file
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/dedicated/DedicatedPlayerList.java b/src/main/java/net/minecraft/server/dedicated/DedicatedPlayerList.java
|
2021-11-24 21:15:19 +01:00
|
|
|
index 04d2ed6ae4c2f250bb13ea732280108f91dc5660..21613cd49ebcccfd3837991dba1df0a188c42760 100644
|
2021-06-11 14:02:28 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/dedicated/DedicatedPlayerList.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/dedicated/DedicatedPlayerList.java
|
2021-11-24 21:15:19 +01:00
|
|
|
@@ -17,6 +17,11 @@ public class DedicatedPlayerList extends PlayerList {
|
2021-06-15 04:59:31 +02:00
|
|
|
this.setViewDistance(dedicatedServerProperties.viewDistance);
|
2021-11-24 21:15:19 +01:00
|
|
|
this.setSimulationDistance(dedicatedServerProperties.simulationDistance);
|
2021-06-15 04:59:31 +02:00
|
|
|
super.setUsingWhiteList(dedicatedServerProperties.whiteList.get());
|
2021-06-11 14:02:28 +02:00
|
|
|
+ // Paper start - moved from constructor
|
|
|
|
+ }
|
|
|
|
+ @Override
|
|
|
|
+ public void loadAndSaveFiles() {
|
|
|
|
+ // Paper end
|
|
|
|
this.loadUserBanList();
|
|
|
|
this.saveUserBanList();
|
|
|
|
this.loadIpBanList();
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/dedicated/DedicatedServer.java b/src/main/java/net/minecraft/server/dedicated/DedicatedServer.java
|
2021-11-24 21:15:19 +01:00
|
|
|
index e968b880e435b8753314d85b919a0abc4f35be25..02d7b16f81ebf9f902a36d4f31802b20d1820d6e 100644
|
2021-06-11 14:02:28 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/dedicated/DedicatedServer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/dedicated/DedicatedServer.java
|
2021-11-24 21:15:19 +01:00
|
|
|
@@ -203,6 +203,12 @@ public class DedicatedServer extends MinecraftServer implements ServerInterface
|
2021-06-11 14:02:28 +02:00
|
|
|
org.spigotmc.SpigotConfig.init((java.io.File) options.valueOf("spigot-settings"));
|
|
|
|
org.spigotmc.SpigotConfig.registerCommands();
|
|
|
|
// Spigot end
|
|
|
|
+ // Paper start - moved up to right after PlayerList creation but before file load/save
|
|
|
|
+ if (this.convertOldUsers()) {
|
|
|
|
+ this.getProfileCache().save(false); // Paper
|
|
|
|
+ }
|
|
|
|
+ this.getPlayerList().loadAndSaveFiles(); // Must be after convertNames
|
|
|
|
+ // Paper end
|
|
|
|
// Paper start
|
|
|
|
try {
|
|
|
|
com.destroystokyo.paper.PaperConfig.init((java.io.File) options.valueOf("paper-settings"));
|
2021-11-24 21:15:19 +01:00
|
|
|
@@ -265,9 +271,6 @@ public class DedicatedServer extends MinecraftServer implements ServerInterface
|
2021-06-11 14:02:28 +02:00
|
|
|
DedicatedServer.LOGGER.warn("To change this, set \"online-mode\" to \"true\" in the server.properties file.");
|
|
|
|
}
|
|
|
|
|
|
|
|
- if (this.convertOldUsers()) {
|
2021-06-15 04:59:31 +02:00
|
|
|
- this.getProfileCache().save(false); // Paper
|
2021-06-11 14:02:28 +02:00
|
|
|
- }
|
2021-06-15 04:59:31 +02:00
|
|
|
|
2021-06-11 14:02:28 +02:00
|
|
|
if (!OldUsersConverter.serverReadyAfterUserconversion(this)) {
|
|
|
|
return false;
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/players/PlayerList.java b/src/main/java/net/minecraft/server/players/PlayerList.java
|
2021-11-24 21:15:19 +01:00
|
|
|
index 7057f7aa02b819e32f2067d3c1c7c0eefb082fce..8784748564021eecf0e2553925d234c789fc9c5a 100644
|
2021-06-11 14:02:28 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/players/PlayerList.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/players/PlayerList.java
|
2021-07-07 08:52:40 +02:00
|
|
|
@@ -174,6 +174,7 @@ public abstract class PlayerList {
|
2021-06-11 14:02:28 +02:00
|
|
|
this.maxPlayers = maxPlayers;
|
|
|
|
this.playerIo = saveHandler;
|
|
|
|
}
|
|
|
|
+ abstract public void loadAndSaveFiles(); // Paper - moved from DedicatedPlayerList constructor
|
|
|
|
|
|
|
|
public void placeNewPlayer(Connection connection, ServerPlayer player) {
|
2021-11-24 21:15:19 +01:00
|
|
|
ServerPlayer prev = pendingPlayers.put(player.getUUID(), player);// Paper
|