Fix BanList command and other *list functionality

By: md_5 <git@md-5.net>
This commit is contained in:
Spigot
2014-04-17 19:03:00 +10:00
parent 1d3e9c4268
commit df0b4f3094
14 changed files with 36 additions and 85 deletions

View File

@@ -1,4 +1,4 @@
From bb48d36ef39d168169ba648695404764df103836 Mon Sep 17 00:00:00 2001
From bfb997415d03a4394c2594a4cc8e9111e963752b Mon Sep 17 00:00:00 2001
From: Antony Riley <antony@cyberiantiger.org>
Date: Wed, 27 Mar 2013 01:41:54 +0200
Subject: [PATCH] Close Unloaded Save Files
@@ -18,10 +18,10 @@ index 900ed68..829f4a3 100644
public static synchronized RegionFile a(File file1, int i, int j) {
File file2 = new File(file1, "region");
diff --git a/src/main/java/org/bukkit/craftbukkit/CraftServer.java b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
index ebaeb98..9abb380 100644
index 9f40d68..875f25f 100644
--- a/src/main/java/org/bukkit/craftbukkit/CraftServer.java
+++ b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
@@ -81,6 +81,8 @@ import net.minecraft.server.MinecraftServer;
@@ -86,6 +86,8 @@ import net.minecraft.server.MinecraftServer;
import net.minecraft.server.MobEffectList;
import net.minecraft.server.PropertyManager;
import net.minecraft.server.ServerCommand;
@@ -30,7 +30,7 @@ index ebaeb98..9abb380 100644
import net.minecraft.server.ServerNBTManager;
import net.minecraft.server.WorldLoaderServer;
import net.minecraft.server.WorldManager;
@@ -1006,6 +1008,30 @@ public final class CraftServer implements Server {
@@ -1021,6 +1023,30 @@ public final class CraftServer implements Server {
worlds.remove(world.getName().toLowerCase());
console.worlds.remove(console.worlds.indexOf(handle));