From 345ea36c7bb3383c6e4825355d0043a646194eaa Mon Sep 17 00:00:00 2001
From: Erik Broes <erikbroes@grum.nl>
Date: Sun, 20 Nov 2011 00:01:14 -0800
Subject: Update for 1.0.0

---
 src/main/java/net/minecraft/server/PropertyManager.java | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/main/java/net/minecraft/server/PropertyManager.java')

diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java
index 5108b1cf..ae0feee2 100644
--- a/src/main/java/net/minecraft/server/PropertyManager.java
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
@@ -60,6 +60,10 @@ public class PropertyManager {
         }
     }
 
+    public File c() {
+        return this.c;
+    }
+
     public String getString(String s, String s1) {
         if (!this.properties.containsKey(s)) {
             s1 = this.getOverride(s, s1); // CraftBukkit
@@ -90,6 +94,10 @@ public class PropertyManager {
         }
     }
 
+    public void a(String s, Object object) {
+        this.properties.setProperty(s, "" + object);
+    }
+
     public void setBoolean(String s, boolean flag) {
         this.properties.setProperty(s, "" + flag);
         this.savePropertiesFile();
-- 
cgit v1.2.3