From 8932430aed21274e03189ae340bd20a9ea8b5761 Mon Sep 17 00:00:00 2001 From: Animosity Date: Fri, 4 Feb 2011 14:12:33 +0800 Subject: [PATCH] Addded: int getMaxPlayers() --- .../net/minecraft/server/ServerConfigurationManager.java | 6 ++++++ src/main/java/org/bukkit/craftbukkit/CraftServer.java | 4 ++++ 2 files changed, 10 insertions(+) diff --git a/src/main/java/net/minecraft/server/ServerConfigurationManager.java b/src/main/java/net/minecraft/server/ServerConfigurationManager.java index 61c02e4b0b..7fce5e7259 100644 --- a/src/main/java/net/minecraft/server/ServerConfigurationManager.java +++ b/src/main/java/net/minecraft/server/ServerConfigurationManager.java @@ -56,6 +56,12 @@ public class ServerConfigurationManager { this.j(); } + // CraftBukkit start + public int getMaxPlayers() { + return this.e; + } + // CraftBukkit end + public void a(WorldServer worldserver) { this.l = new PlayerNBTManager(new File(worldserver.t, "players")); } diff --git a/src/main/java/org/bukkit/craftbukkit/CraftServer.java b/src/main/java/org/bukkit/craftbukkit/CraftServer.java index df8b7c6006..73d4d1d173 100644 --- a/src/main/java/org/bukkit/craftbukkit/CraftServer.java +++ b/src/main/java/org/bukkit/craftbukkit/CraftServer.java @@ -136,6 +136,10 @@ public final class CraftServer implements Server { return matchedPlayers; } + public int getMaxPlayers() { + return server.getMaxPlayers(); + } + public PluginManager getPluginManager() { return pluginManager; }