2019-02-25 10:39:24 +01:00
|
|
|
From d153419e11223422645a7e0879c6c87fda1a8a8e Mon Sep 17 00:00:00 2001
|
2018-09-25 16:53:52 +02:00
|
|
|
From: Brokkonaut <hannos17@gmx.de>
|
|
|
|
Date: Tue, 25 Sep 2018 06:53:43 +0200
|
|
|
|
Subject: [PATCH] Avoid dimension id collisions
|
|
|
|
|
|
|
|
getDimensionId() returns the dimension id - 1. So without this patch
|
|
|
|
we would reuse an existing dimension id, if some other dimension was
|
|
|
|
unloaded before.
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/craftbukkit/CraftServer.java b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
|
2019-02-25 10:39:24 +01:00
|
|
|
index 6cea317d5..fac42f8e5 100644
|
2018-09-25 16:53:52 +02:00
|
|
|
--- a/src/main/java/org/bukkit/craftbukkit/CraftServer.java
|
|
|
|
+++ b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
|
2019-01-31 05:49:52 +01:00
|
|
|
@@ -975,7 +975,7 @@ public final class CraftServer implements Server {
|
2018-09-25 16:53:52 +02:00
|
|
|
boolean used = false;
|
|
|
|
do {
|
|
|
|
for (WorldServer server : console.getWorlds()) {
|
|
|
|
- used = server.dimension.getDimensionID() == dimension;
|
|
|
|
+ used = server.dimension.getDimensionID() + 1 == dimension; // Paper - getDimensionID returns the dimension - 1, so we have to add 1
|
|
|
|
if (used) {
|
|
|
|
dimension++;
|
|
|
|
break;
|
|
|
|
--
|
2019-01-01 04:15:55 +01:00
|
|
|
2.20.1
|
2018-09-25 16:53:52 +02:00
|
|
|
|