Update to mcdev rename revision 01 for 1.8.1

2011-09-24 22:03:31 +01:00
parent 75ac4e00b2
commit 0118a20d6a
40 changed files with 322 additions and 324 deletions
--- a/src/main/java/net/minecraft/server/PropertyManager.java
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
@@ -90,8 +90,7 @@ public class PropertyManager {
        }
    }

-    public void b(String s, boolean flag) {
-        flag = this.getOverride(s, flag); // CraftBukkit
+    public void setBoolean(String s, boolean flag) {
        this.properties.setProperty(s, "" + flag);
        this.savePropertiesFile();
    }