Add World.save() and Server.savePlayers();
By: Morgan Humes <mrh9724@lanaddict.com>
This commit is contained in:
parent
6410e49ab9
commit
56f58d646a
2 changed files with 10 additions and 0 deletions
|
@ -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();
|
||||||
}
|
}
|
||||||
|
|
|
@ -405,4 +405,9 @@ public interface World {
|
||||||
*/
|
*/
|
||||||
NETHER
|
NETHER
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Saves world to disk
|
||||||
|
*/
|
||||||
|
public void save();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue