3
0
Mirror von https://github.com/PaperMC/Paper.git synchronisiert 2024-12-18 20:40:08 +01:00

Implemented server.getOfflinePlayers

Dieser Commit ist enthalten in:
Nathan Adams 2011-12-04 17:57:00 +00:00
Ursprung c6d182286c
Commit dbd3ff71fc
3 geänderte Dateien mit 28 neuen und 0 gelöschten Zeilen

Datei anzeigen

@ -253,5 +253,9 @@ public class WorldNBTStorage implements PlayerFileData, IDataManager {
return null;
}
}
public File getPlayerDir() {
return playerDir;
}
// CraftBukkit end
}

Datei anzeigen

@ -51,6 +51,7 @@ import net.minecraft.server.Item;
import net.minecraft.server.ItemStack;
import net.minecraft.server.WorldMap;
import net.minecraft.server.WorldMapCollection;
import net.minecraft.server.WorldNBTStorage;
import net.minecraft.server.WorldSettings;
import org.bukkit.*;
import org.bukkit.configuration.ConfigurationSection;
@ -71,6 +72,7 @@ import org.bukkit.craftbukkit.inventory.CraftShapelessRecipe;
import org.bukkit.craftbukkit.map.CraftMapView;
import org.bukkit.scheduler.BukkitWorker;
import org.bukkit.craftbukkit.scheduler.CraftScheduler;
import org.bukkit.craftbukkit.util.DatFileFilter;
import org.bukkit.craftbukkit.util.Versioning;
import org.bukkit.util.permissions.DefaultPermissions;
import org.bukkit.event.world.WorldInitEvent;
@ -918,4 +920,16 @@ public final class CraftServer implements Server {
public File getWorldContainer() {
return new File(configuration.getString("settings.world-container", "."));
}
public OfflinePlayer[] getOfflinePlayers() {
WorldNBTStorage storage = (WorldNBTStorage)console.worlds.get(0).getDataManager();
String[] files = storage.getPlayerDir().list(new DatFileFilter());
OfflinePlayer[] players = new OfflinePlayer[files.length];
for (int i = 0; i < files.length; i++) {
players[i] = getOfflinePlayer(files[i].substring(0, files[i].length() - 4));
}
return players;
}
}

Datei anzeigen

@ -0,0 +1,10 @@
package org.bukkit.craftbukkit.util;
import java.io.File;
import java.io.FilenameFilter;
public class DatFileFilter implements FilenameFilter {
public boolean accept(File dir, String name) {
return name.endsWith(".dat");
}
}