2015-05-25 12:37:24 +02:00
|
|
|
--- a/net/minecraft/server/WorldBorder.java
|
|
|
|
+++ b/net/minecraft/server/WorldBorder.java
|
2018-08-26 04:00:00 +02:00
|
|
|
@@ -15,6 +15,7 @@
|
|
|
|
private double g;
|
|
|
|
private int h = 29999984;
|
|
|
|
private WorldBorder.a i = new WorldBorder.c(6.0E7D);
|
2014-12-10 20:16:37 +01:00
|
|
|
+ public WorldServer world; // CraftBukkit
|
|
|
|
|
2018-08-26 04:00:00 +02:00
|
|
|
public WorldBorder() {}
|
|
|
|
|
|
|
|
@@ -124,6 +125,7 @@
|
2014-12-10 20:16:37 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public void a(IWorldBorderListener iworldborderlistener) {
|
|
|
|
+ if (a.contains(iworldborderlistener)) return; // CraftBukkit
|
|
|
|
this.a.add(iworldborderlistener);
|
|
|
|
}
|
|
|
|
|