2020-04-02 21:07:06 +00:00
|
|
|
From 3af92ccbed37aa47009dc73c9e40f7d6db1e2255 Mon Sep 17 00:00:00 2001
|
2018-03-22 05:41:44 +00:00
|
|
|
From: Aikar <aikar@aikar.co>
|
|
|
|
Date: Thu, 22 Mar 2018 01:39:28 -0400
|
|
|
|
Subject: [PATCH] getPlayerUniqueId API
|
|
|
|
|
|
|
|
Gets the unique ID of the player currently known as the specified player name
|
|
|
|
In Offline Mode, will return an Offline UUID
|
|
|
|
|
|
|
|
This is a more performant way to obtain a UUID for a name than loading an OfflinePlayer
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/Bukkit.java b/src/main/java/org/bukkit/Bukkit.java
|
2020-03-10 11:01:15 +00:00
|
|
|
index 5d4fb5b9d..f5fac807c 100644
|
2018-03-22 05:41:44 +00:00
|
|
|
--- a/src/main/java/org/bukkit/Bukkit.java
|
|
|
|
+++ b/src/main/java/org/bukkit/Bukkit.java
|
2020-03-10 11:01:15 +00:00
|
|
|
@@ -467,6 +467,20 @@ public final class Bukkit {
|
2018-03-22 05:41:44 +00:00
|
|
|
return server.getPlayer(id);
|
|
|
|
}
|
|
|
|
|
|
|
|
+ // Paper start
|
|
|
|
+ /**
|
|
|
|
+ * Gets the unique ID of the player currently known as the specified player name
|
|
|
|
+ * In Offline Mode, will return an Offline UUID
|
|
|
|
+ *
|
|
|
|
+ * @param playerName the player name to look up the unique ID for
|
|
|
|
+ * @return A UUID, or null if that player name is not registered with Minecraft and the server is in online mode
|
|
|
|
+ */
|
|
|
|
+ @Nullable
|
2019-03-20 00:28:15 +00:00
|
|
|
+ public static UUID getPlayerUniqueId(@NotNull String playerName) {
|
2018-03-22 05:41:44 +00:00
|
|
|
+ return server.getPlayerUniqueId(playerName);
|
|
|
|
+ }
|
|
|
|
+ // Paper end
|
|
|
|
+
|
|
|
|
/**
|
|
|
|
* Gets the plugin manager for interfacing with plugins.
|
|
|
|
*
|
|
|
|
diff --git a/src/main/java/org/bukkit/Server.java b/src/main/java/org/bukkit/Server.java
|
2020-03-10 11:01:15 +00:00
|
|
|
index 6778ac8e5..11fffc514 100644
|
2018-03-22 05:41:44 +00:00
|
|
|
--- a/src/main/java/org/bukkit/Server.java
|
|
|
|
+++ b/src/main/java/org/bukkit/Server.java
|
2020-03-10 11:01:15 +00:00
|
|
|
@@ -396,6 +396,18 @@ public interface Server extends PluginMessageRecipient {
|
2019-03-20 00:28:15 +00:00
|
|
|
@Nullable
|
|
|
|
public Player getPlayer(@NotNull UUID id);
|
2018-03-22 05:41:44 +00:00
|
|
|
|
|
|
|
+ // Paper start
|
|
|
|
+ /**
|
|
|
|
+ * Gets the unique ID of the player currently known as the specified player name
|
|
|
|
+ * In Offline Mode, will return an Offline UUID
|
|
|
|
+ *
|
|
|
|
+ * @param playerName the player name to look up the unique ID for
|
|
|
|
+ * @return A UUID, or null if that player name is not registered with Minecraft and the server is in online mode
|
|
|
|
+ */
|
|
|
|
+ @Nullable
|
2019-03-20 00:28:15 +00:00
|
|
|
+ public UUID getPlayerUniqueId(@NotNull String playerName);
|
2018-03-22 05:41:44 +00:00
|
|
|
+ // Paper end
|
|
|
|
+
|
|
|
|
/**
|
|
|
|
* Gets the plugin manager for interfacing with plugins.
|
|
|
|
*
|
|
|
|
--
|
2020-04-02 21:07:06 +00:00
|
|
|
2.25.1
|
2018-03-22 05:41:44 +00:00
|
|
|
|