geforkt von Mirrors/Paper
cab333b217
Don't send requests of every player was found in the global api cache SpigotMC/Spigot@841270ff1e Correctly set the response code for the cached lookups and return the ... SpigotMC/Spigot@f170b7899c Don't try and re-set the global api cache on reload SpigotMC/Spigot@b410a00a66 Use a compile time sneaky throw hack. SpigotMC/Spigot@508462b96b Fix a missed rename in WorldGenGroundBush SpigotMC/Spigot@0614d8fae9
24 Zeilen
868 B
Diff
24 Zeilen
868 B
Diff
From 6a1f16ee41738ccbf252c9ccefbf677780592a29 Mon Sep 17 00:00:00 2001
|
|
From: md_5 <md_5@live.com.au>
|
|
Date: Sun, 19 May 2013 18:29:48 +1000
|
|
Subject: [PATCH] Remove -o Option
|
|
|
|
Serves no purpose other than to confuse users.
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java
|
|
index c6cd6fb..fefa221 100644
|
|
--- a/src/main/java/net/minecraft/server/PropertyManager.java
|
|
+++ b/src/main/java/net/minecraft/server/PropertyManager.java
|
|
@@ -52,7 +52,7 @@ public class PropertyManager {
|
|
}
|
|
|
|
private <T> T getOverride(String name, T value) {
|
|
- if ((this.options != null) && (this.options.has(name))) {
|
|
+ if ((this.options != null) && (this.options.has(name)) && !name.equals( "online-mode")) { // Spigot
|
|
return (T) this.options.valueOf(name);
|
|
}
|
|
|
|
--
|
|
1.9.1
|
|
|