From 0196ba1320313d8e74c8964d51d315ee69c95a52 Mon Sep 17 00:00:00 2001
From: Bukkit/Spigot <noreply+git-bukkit@papermc.io>
Date: Sat, 26 Mar 2011 01:39:10 -0700
Subject: [PATCH] Added Server.getServerId() for ID purposes.

By: sk89q <the.sk89q@gmail.com>
---
 paper-api/src/main/java/org/bukkit/Server.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/paper-api/src/main/java/org/bukkit/Server.java b/paper-api/src/main/java/org/bukkit/Server.java
index baa642fc02..b74d3a4534 100644
--- a/paper-api/src/main/java/org/bukkit/Server.java
+++ b/paper-api/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.
      *