1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java
index 4c741537..ef7569d2 100644
--- a/src/main/java/net/minecraft/server/PropertyManager.java
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
@@ -90,4 +90,10 @@ public class PropertyManager {
             return flag;
         }
     }
+
+    public void b(String s, boolean flag) {
+        flag = getOverride(s, flag); // CraftBukkit
+        this.b.setProperty(s, "" + flag);
+        this.b();
+    }
 }