2018-01-11 06:31:19 +01:00
|
|
|
From ec50fe635952450e4432cb04e3c197a68b9a370f Mon Sep 17 00:00:00 2001
|
2017-07-27 06:09:24 +02:00
|
|
|
From: Aikar <aikar@aikar.co>
|
|
|
|
Date: Thu, 27 Jul 2017 00:06:43 -0400
|
|
|
|
Subject: [PATCH] GH-806: Respect saving disabled before unloading all chunks
|
|
|
|
in a world
|
|
|
|
|
|
|
|
This behavior causes a save to occur even though saving was supposed to be turned off.
|
|
|
|
|
|
|
|
It's triggered when Hell/End worlds are empty of players.
|
|
|
|
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/PlayerChunkMap.java b/src/main/java/net/minecraft/server/PlayerChunkMap.java
|
2018-01-11 06:31:19 +01:00
|
|
|
index 0b10f168..4af55732 100644
|
2017-07-27 06:09:24 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/PlayerChunkMap.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PlayerChunkMap.java
|
|
|
|
@@ -220,7 +220,7 @@ public class PlayerChunkMap {
|
|
|
|
try (Timing ignored = world.timings.doChunkMapUnloadChunks.startTiming()) { // Paper
|
|
|
|
WorldProvider worldprovider = this.world.worldProvider;
|
|
|
|
|
|
|
|
- if (!worldprovider.e()) {
|
|
|
|
+ if (!worldprovider.e() && !this.world.savingDisabled) { // Paper - respect saving disabled setting
|
|
|
|
this.world.getChunkProviderServer().b();
|
|
|
|
}
|
|
|
|
} // Paper timing
|
|
|
|
--
|
2018-01-11 06:31:19 +01:00
|
|
|
2.14.3
|
2017-07-27 06:09:24 +02:00
|
|
|
|