From 0216d09033f11f664402331798988de56321a38b Mon Sep 17 00:00:00 2001
From: feildmaster <admin@feildmaster.com>
Date: Fri, 21 Dec 2012 15:16:06 -0600
Subject: [PATCH] Fix command line arguments being ignored. Fixes BUKKIT-3247

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

diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java
index 3f87365aac..30c4dcf86a 100644
--- a/src/main/java/net/minecraft/server/PropertyManager.java
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
@@ -103,7 +103,7 @@ public class PropertyManager {
             return this.getOverride(s, Integer.parseInt(this.getString(s, "" + i))); // CraftBukkit
         } catch (Exception exception) {
             this.properties.setProperty(s, "" + i);
-            return i;
+            return this.getOverride(s, i); // CraftBukkit
         }
     }
 
@@ -112,7 +112,7 @@ public class PropertyManager {
             return this.getOverride(s, Boolean.parseBoolean(this.getString(s, "" + flag))); // CraftBukkit
         } catch (Exception exception) {
             this.properties.setProperty(s, "" + flag);
-            return flag;
+            return this.getOverride(s, flag); // CraftBukkit
         }
     }