Add World.save() and Server.savePlayers();

This commit is contained in:
Morgan Humes
2011-02-25 21:32:25 -05:00
committed by Erik Broes
parent 010cfd1781
commit 8cc401cf8e
2 changed files with 10 additions and 0 deletions

View File

@@ -130,4 +130,9 @@ public interface Server {
* @return PluginCommand if found, otherwise null
*/
public PluginCommand getPluginCommand(String name);
/**
* Writes loaded players to disk
*/
public void savePlayers();
}