mirror of
https://github.com/PaperMC/Paper.git
synced 2025-01-02 17:32:03 +01:00
Added Server.getServerId() for ID purposes.
By: sk89q <the.sk89q@gmail.com>
This commit is contained in:
parent
67b6abb580
commit
0196ba1320
1 changed files with 8 additions and 0 deletions
|
@ -63,6 +63,14 @@ public interface Server {
|
|||
*/
|
||||
public String getServerName();
|
||||
|
||||
/**
|
||||
* Get an ID of this server. The ID is a simple generally alphanumeric
|
||||
* ID that can be used for uniquely identifying this server.
|
||||
*
|
||||
* @return The ID of this server
|
||||
*/
|
||||
public String getServerId();
|
||||
|
||||
/**
|
||||
* Broadcast a message to all players.
|
||||
*
|
||||
|
|
Loading…
Reference in a new issue