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 c383d1f385
commit cb66f868b4
2 changed files with 10 additions and 0 deletions

View File

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

View File

@ -405,4 +405,9 @@ public interface World {
*/ */
NETHER NETHER
} }
/**
* Saves world to disk
*/
public void save();
} }