2015-05-25 12:37:24 +02:00
|
|
|
--- a/net/minecraft/server/WorldBorder.java
|
|
|
|
+++ b/net/minecraft/server/WorldBorder.java
|
2014-12-10 20:16:37 +01:00
|
|
|
@@ -18,6 +18,7 @@
|
|
|
|
private double j;
|
|
|
|
private int k;
|
|
|
|
private int l;
|
|
|
|
+ public WorldServer world; // CraftBukkit
|
|
|
|
|
|
|
|
public WorldBorder() {
|
|
|
|
this.e = this.d;
|
2016-12-19 13:05:39 +01:00
|
|
|
@@ -177,6 +178,7 @@
|
2014-12-10 20:16:37 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public void a(IWorldBorderListener iworldborderlistener) {
|
|
|
|
+ if (a.contains(iworldborderlistener)) return; // CraftBukkit
|
|
|
|
this.a.add(iworldborderlistener);
|
|
|
|
}
|
|
|
|
|