2018-07-23 16:39:55 +08:00
|
|
|
From f7d2dff64466b07794f828ff7f3f0e9d632a2a07 Mon Sep 17 00:00:00 2001
|
2017-07-27 12:09:24 +08: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-07-23 16:39:55 +08:00
|
|
|
index cf5c76a78e..bfe2d03a57 100644
|
2017-07-27 12:09:24 +08:00
|
|
|
--- a/src/main/java/net/minecraft/server/PlayerChunkMap.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PlayerChunkMap.java
|
2018-07-18 08:08:13 +08:00
|
|
|
@@ -194,7 +194,7 @@ public class PlayerChunkMap {
|
2017-07-27 12:09:24 +08:00
|
|
|
try (Timing ignored = world.timings.doChunkMapUnloadChunks.startTiming()) { // Paper
|
|
|
|
WorldProvider worldprovider = this.world.worldProvider;
|
|
|
|
|
2018-07-18 08:08:13 +08:00
|
|
|
- if (!worldprovider.p()) {
|
|
|
|
+ if (!worldprovider.p() && !this.world.savingDisabled) { // Paper - respect saving disabled setting
|
2017-07-27 12:09:24 +08:00
|
|
|
this.world.getChunkProviderServer().b();
|
|
|
|
}
|
|
|
|
} // Paper timing
|
|
|
|
--
|
2018-07-04 15:55:24 +08:00
|
|
|
2.18.0
|
2017-07-27 12:09:24 +08:00
|
|
|
|