Added Server.getServerId() for ID purposes.

2011-03-26 01:39:10 -07:00 · 2011-03-26 01:39:10 -07:00 · 7d46e6714b
commit 7d46e6714b
parent bc2200fba8
1 changed files with 8 additions and 0 deletions
--- a/src/main/java/org/bukkit/Server.java
+++ b/src/main/java/org/bukkit/Server.java
@ -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.
     *