2010-12-21 17:52:15 +01:00
|
|
|
package org.bukkit.craftbukkit;
|
|
|
|
|
2010-12-24 18:24:21 +01:00
|
|
|
import java.io.File;
|
2011-01-07 03:42:53 +01:00
|
|
|
import java.util.ArrayList;
|
2010-12-22 16:22:23 +01:00
|
|
|
import java.util.List;
|
2010-12-24 18:24:21 +01:00
|
|
|
import java.util.logging.Level;
|
|
|
|
import java.util.logging.Logger;
|
2010-12-27 03:13:03 +01:00
|
|
|
import net.minecraft.server.EntityPlayerMP;
|
|
|
|
import net.minecraft.server.MinecraftServer;
|
|
|
|
import net.minecraft.server.ServerConfigurationManager;
|
2010-12-22 16:22:23 +01:00
|
|
|
import org.bukkit.*;
|
2011-01-03 03:25:09 +01:00
|
|
|
import org.bukkit.plugin.Plugin;
|
2010-12-24 18:24:21 +01:00
|
|
|
import org.bukkit.plugin.PluginManager;
|
2010-12-25 16:42:17 +01:00
|
|
|
import org.bukkit.plugin.SimplePluginManager;
|
2010-12-24 18:24:21 +01:00
|
|
|
import org.bukkit.plugin.java.JavaPluginLoader;
|
2010-12-21 17:52:15 +01:00
|
|
|
|
2010-12-24 18:24:21 +01:00
|
|
|
public final class CraftServer implements Server {
|
|
|
|
private final String serverName = "Craftbukkit";
|
2011-01-14 14:47:47 +01:00
|
|
|
private final String serverVersion = "1.2_01";
|
2010-12-25 16:42:17 +01:00
|
|
|
private final PluginManager pluginManager = new SimplePluginManager(this);
|
2010-12-21 17:52:15 +01:00
|
|
|
|
2010-12-22 16:22:23 +01:00
|
|
|
protected final MinecraftServer console;
|
2010-12-26 03:20:29 +01:00
|
|
|
protected final ServerConfigurationManager server;
|
2010-12-22 16:22:23 +01:00
|
|
|
|
2011-01-03 20:41:23 +01:00
|
|
|
public CraftServer(MinecraftServer console, ServerConfigurationManager server) {
|
|
|
|
this.console = console;
|
|
|
|
this.server = server;
|
2010-12-24 18:24:21 +01:00
|
|
|
|
|
|
|
pluginManager.RegisterInterface(JavaPluginLoader.class);
|
2011-01-06 19:33:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public void loadPlugins() {
|
2011-01-04 01:43:23 +01:00
|
|
|
File pluginFolder = (File)console.options.valueOf("plugins");
|
2011-01-03 03:25:09 +01:00
|
|
|
|
2010-12-24 20:04:35 +01:00
|
|
|
if (pluginFolder.exists()) {
|
|
|
|
try {
|
2011-01-11 23:11:10 +01:00
|
|
|
Plugin[] plugins = pluginManager.loadPlugins(pluginFolder);
|
2011-01-03 03:25:09 +01:00
|
|
|
|
|
|
|
for (Plugin plugin : plugins) {
|
2011-01-03 03:40:47 +01:00
|
|
|
pluginManager.enablePlugin(plugin);
|
2011-01-03 03:25:09 +01:00
|
|
|
}
|
2010-12-24 20:04:35 +01:00
|
|
|
} catch (Throwable ex) {
|
2011-01-05 23:56:31 +01:00
|
|
|
Logger.getLogger(CraftServer.class.getName()).log(Level.SEVERE, ex.getMessage() + " (Is it up to date?)", ex);
|
2010-12-24 20:04:35 +01:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
pluginFolder.mkdir();
|
2010-12-24 18:24:21 +01:00
|
|
|
}
|
2010-12-21 17:52:15 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public String getName() {
|
2010-12-22 16:22:23 +01:00
|
|
|
return serverName;
|
2010-12-21 17:52:15 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public String getVersion() {
|
2010-12-22 16:22:23 +01:00
|
|
|
return serverVersion;
|
|
|
|
}
|
|
|
|
|
|
|
|
public Player[] getOnlinePlayers() {
|
2011-01-03 20:41:23 +01:00
|
|
|
List<EntityPlayerMP> online = server.b;
|
2010-12-22 16:22:23 +01:00
|
|
|
Player[] players = new Player[online.size()];
|
|
|
|
|
|
|
|
for (int i = 0; i < players.length; i++) {
|
2010-12-30 06:35:30 +01:00
|
|
|
players[i] = online.get(i).a.getPlayer();
|
2010-12-22 16:22:23 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
return players;
|
2010-12-21 17:52:15 +01:00
|
|
|
}
|
|
|
|
|
2011-01-03 01:16:00 +01:00
|
|
|
public Player getPlayer(final String name) {
|
|
|
|
Player[] players = getOnlinePlayers();
|
|
|
|
|
|
|
|
for (Player player : players) {
|
|
|
|
if (player.getName().equalsIgnoreCase(name)) {
|
|
|
|
return player;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2010-12-30 06:35:30 +01:00
|
|
|
public Player getPlayer(final EntityPlayerMP entity) {
|
|
|
|
return entity.a.getPlayer();
|
2010-12-26 03:20:29 +01:00
|
|
|
}
|
2011-01-06 06:10:28 +01:00
|
|
|
|
2011-01-07 03:42:53 +01:00
|
|
|
public List<Player> matchPlayer(String partialName) {
|
|
|
|
List<Player> matchedPlayers = new ArrayList<Player>();
|
|
|
|
|
2011-01-06 06:10:28 +01:00
|
|
|
for (Player iterPlayer : this.getOnlinePlayers()) {
|
|
|
|
String iterPlayerName = iterPlayer.getName();
|
|
|
|
|
2011-01-07 03:42:53 +01:00
|
|
|
if (partialName.equalsIgnoreCase(iterPlayerName)) {
|
2011-01-06 06:10:28 +01:00
|
|
|
// Exact match
|
2011-01-10 09:30:34 +01:00
|
|
|
matchedPlayers.clear();
|
|
|
|
matchedPlayers.add(iterPlayer);
|
|
|
|
break;
|
|
|
|
}
|
2011-01-07 03:42:53 +01:00
|
|
|
if (iterPlayerName.toLowerCase().indexOf(partialName.toLowerCase()) != -1) {
|
2011-01-10 09:30:34 +01:00
|
|
|
// Partial match
|
2011-01-07 03:42:53 +01:00
|
|
|
matchedPlayers.add(iterPlayer);
|
2011-01-06 06:10:28 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-01-07 03:42:53 +01:00
|
|
|
return matchedPlayers;
|
2011-01-06 06:10:28 +01:00
|
|
|
}
|
2010-12-26 03:20:29 +01:00
|
|
|
|
2010-12-24 18:24:21 +01:00
|
|
|
public PluginManager getPluginManager() {
|
|
|
|
return pluginManager;
|
|
|
|
}
|
2010-12-27 03:13:03 +01:00
|
|
|
|
|
|
|
public World[] getWorlds() {
|
2010-12-30 05:37:32 +01:00
|
|
|
return new World[] { console.e.getWorld() };
|
2010-12-27 03:13:03 +01:00
|
|
|
}
|
2010-12-30 05:30:12 +01:00
|
|
|
|
2011-01-04 09:22:22 +01:00
|
|
|
public long getTime() {
|
|
|
|
return console.e.e;
|
|
|
|
}
|
|
|
|
|
|
|
|
public void setTime(long time) {
|
|
|
|
console.e.e = time;
|
|
|
|
}
|
|
|
|
|
2010-12-30 05:30:12 +01:00
|
|
|
public ServerConfigurationManager getHandle() {
|
|
|
|
return server;
|
|
|
|
}
|
2010-12-21 17:52:15 +01:00
|
|
|
}
|