Permissions can now pre-cache all known players, and API users can get all cached players

2024-03-01 20:17:30 +01:00
parent d7705d8904
commit ca7a51af2c
5 changed files with 59 additions and 7 deletions
--- a/pandalib-permissions/src/main/java/fr/pandacube/lib/permissions/DefaultPlayer.java
+++ b/pandalib-permissions/src/main/java/fr/pandacube/lib/permissions/DefaultPlayer.java
@@ -7,7 +7,7 @@ import java.util.UUID;
 /**
 * Represents a dummy player in the permission system, that have no specific data, only inheriting from the default
 * groups.
- *
+ * <p>
 * The current implementation provides a player named {@code default.0} with an uuid of
 * {@code fffdef17-ffff-b0ff-ffff-ffffffffffff}.
 * Trying to set a permission data for this player will log a warning.