2019-06-25 21:18:50 +02:00
|
|
|
From a09b0acbefadc0c24ef240451bee1984098a61f9 Mon Sep 17 00:00:00 2001
|
2019-04-26 03:24:00 +02:00
|
|
|
From: Joseph Hirschfeld <joe@ibj.io>
|
|
|
|
Date: Thu, 3 Mar 2016 02:46:17 -0600
|
|
|
|
Subject: [PATCH] Add configurable portal search radius
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/com/destroystokyo/paper/PaperWorldConfig.java b/src/main/java/com/destroystokyo/paper/PaperWorldConfig.java
|
2019-06-06 17:36:57 +02:00
|
|
|
index be91b11242..320fd07c62 100644
|
2019-04-26 03:24:00 +02:00
|
|
|
--- a/src/main/java/com/destroystokyo/paper/PaperWorldConfig.java
|
|
|
|
+++ b/src/main/java/com/destroystokyo/paper/PaperWorldConfig.java
|
|
|
|
@@ -186,4 +186,9 @@ public class PaperWorldConfig {
|
|
|
|
private void allChunksAreSlimeChunks() {
|
|
|
|
allChunksAreSlimeChunks = getBoolean("all-chunks-are-slime-chunks", false);
|
|
|
|
}
|
|
|
|
+
|
|
|
|
+ public int portalSearchRadius;
|
|
|
|
+ private void portalSearchRadius() {
|
|
|
|
+ portalSearchRadius = getInt("portal-search-radius", 128);
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/PortalTravelAgent.java b/src/main/java/net/minecraft/server/PortalTravelAgent.java
|
2019-06-06 17:36:57 +02:00
|
|
|
index 6552f9e25e..2f0a8e4bb6 100644
|
2019-04-26 03:24:00 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/PortalTravelAgent.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/PortalTravelAgent.java
|
|
|
|
@@ -70,10 +70,11 @@ public class PortalTravelAgent {
|
|
|
|
} else {
|
|
|
|
double d2 = Double.MAX_VALUE;
|
|
|
|
|
|
|
|
- for (int i = -128; i <= 128; ++i) {
|
|
|
|
+ int portalSearchRadius = world.paperConfig.portalSearchRadius; // Paper
|
2019-05-07 14:00:51 +02:00
|
|
|
+ for (int i = -portalSearchRadius; i <= portalSearchRadius; ++i) { // Paper
|
2019-04-26 03:24:00 +02:00
|
|
|
BlockPosition blockposition2;
|
|
|
|
|
|
|
|
- for (int j = -128; j <= 128; ++j) {
|
|
|
|
+ for (int j = -world.paperConfig.portalSearchRadius; j <= world.paperConfig.portalSearchRadius; ++j) { // Paper
|
|
|
|
for (BlockPosition blockposition3 = blockposition.b(i, this.world.getHeight() - 1 - blockposition.getY(), j); blockposition3.getY() >= 0; blockposition3 = blockposition2) {
|
|
|
|
blockposition2 = blockposition3.down();
|
|
|
|
if (this.world.getType(blockposition3).getBlock() == PortalTravelAgent.b) {
|
|
|
|
--
|
2019-06-25 21:18:50 +02:00
|
|
|
2.22.0
|
2019-04-26 03:24:00 +02:00
|
|
|
|