2015-05-25 12:37:24 +02:00
|
|
|
--- a/net/minecraft/server/WorldBorder.java
|
|
|
|
+++ b/net/minecraft/server/WorldBorder.java
|
2020-06-25 02:00:00 +02:00
|
|
|
@@ -17,6 +17,7 @@
|
|
|
|
private int i = 29999984;
|
|
|
|
private WorldBorder.a j = new WorldBorder.d(6.0E7D);
|
|
|
|
public static final WorldBorder.c b = new WorldBorder.c(0.0D, 0.0D, 0.2D, 5.0D, 5, 15, 6.0E7D, 0L, 0.0D);
|
2014-12-10 20:16:37 +01:00
|
|
|
+ public WorldServer world; // CraftBukkit
|
|
|
|
|
2018-08-26 04:00:00 +02:00
|
|
|
public WorldBorder() {}
|
|
|
|
|
2020-06-25 02:00:00 +02:00
|
|
|
@@ -130,6 +131,7 @@
|
2014-12-10 20:16:37 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public void a(IWorldBorderListener iworldborderlistener) {
|
|
|
|
+ if (a.contains(iworldborderlistener)) return; // CraftBukkit
|
|
|
|
this.a.add(iworldborderlistener);
|
|
|
|
}
|
|
|
|
|