Add a dedicated player page

2026-06-04 09:06:54 +00:00 · 2026-05-18 00:52:24 -04:00
parent 823ee61a07
commit d74b07f00e
23 changed files with 1619 additions and 327 deletions
@@ -0,0 +1,115 @@
+package dev.plex.request.impl;
+
+import dev.plex.authentication.AuthenticatedUser;
+import dev.plex.cache.DataUtils;
+import dev.plex.player.PlexPlayer;
+import dev.plex.request.AbstractServlet;
+import dev.plex.request.GetMapping;
+import jakarta.servlet.http.HttpServletRequest;
+import jakarta.servlet.http.HttpServletResponse;
+
+import java.io.ByteArrayInputStream;
+import java.nio.charset.StandardCharsets;
+import java.time.Instant;
+import java.time.ZoneId;
+import java.time.ZonedDateTime;
+import java.time.format.DateTimeFormatter;
+import java.util.List;
+import java.util.UUID;
+
+import org.bukkit.Bukkit;
+
+public class PlayerAdminEndpoint extends AbstractServlet
+{
+    private static final DateTimeFormatter DATE_FMT = DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm z");
+
+    @GetMapping(endpoint = "/player/")
+    public String getPlayer(HttpServletRequest request, HttpServletResponse response)
+    {
+        AuthenticatedUser staff = currentStaff(request);
+        if (staff == null)
+        {
+            return errorPage(signInPrompt(request, "to access player admin tools"));
+        }
+
+        String path = request.getPathInfo();
+        String query = path == null ? "" : path.replace("/", "").trim();
+        if (query.isEmpty())
+        {
+            return errorPage("No player specified.");
+        }
+
+        PlexPlayer player = lookupPlayer(query);
+        if (player == null)
+        {
+            return errorPage("No player found matching <span class=\"font-mono\">" + escapeHtml(query) + "</span>.");
+        }
+
+        String file = readFile(this.getClass().getResourceAsStream("/httpd/player.html"));
+        file = file.replace("${player_uuid}", player.getUuid().toString());
+        file = file.replace("${player_name}", escapeHtml(player.getName()));
+        file = file.replace("${player_ip}", lastIp(player));
+        file = file.replace("${player_first_played}", firstPlayed(player.getUuid()));
+        file = file.replace("${player_namemc}", "https://namemc.com/profile/" + player.getUuid());
+        return file;
+    }
+
+    private static PlexPlayer lookupPlayer(String query)
+    {
+        try
+        {
+            return DataUtils.getPlayer(UUID.fromString(query));
+        }
+        catch (IllegalArgumentException ignored)
+        {
+            return DataUtils.getPlayer(query);
+        }
+    }
+
+    private static String lastIp(PlexPlayer player)
+    {
+        List<String> ips = player.getIps();
+        if (ips == null || ips.isEmpty()) return "<span class=\"text-muted-foreground\">—</span>";
+        return escapeHtml(ips.getLast());
+    }
+
+    private static String firstPlayed(UUID uuid)
+    {
+        try
+        {
+            long ms = Bukkit.getOfflinePlayer(uuid).getFirstPlayed();
+            if (ms <= 0) return "<span class=\"text-muted-foreground\">Never</span>";
+            ZonedDateTime when = ZonedDateTime.ofInstant(Instant.ofEpochMilli(ms), ZoneId.systemDefault());
+            return escapeHtml(DATE_FMT.format(when));
+        }
+        catch (Throwable t)
+        {
+            return "<span class=\"text-muted-foreground\">—</span>";
+        }
+    }
+
+    private String errorPage(String message)
+    {
+        String content = """
+                Player
+                PLAYERS
+                <section class="rise">
+                    <h1 class="text-3xl font-medium tracking-tight md:text-4xl">Player</h1>
+                </section>
+                <section class="rise rise-1 ring-card mt-6 rounded-2xl bg-card p-6">
+                    <p class="text-sm text-foreground/80">%s</p>
+                    <a href="/players/" class="mt-4 inline-flex h-9 items-center gap-1.5 rounded-full bg-muted px-4 text-sm font-medium transition-colors hover:bg-secondary">← Back to players</a>
+                </section>
+                """.formatted(message);
+        return readFile(new ByteArrayInputStream(content.getBytes(StandardCharsets.UTF_8)));
+    }
+
+    private static String escapeHtml(String s)
+    {
+        if (s == null) return "";
+        return s.replace("&", "&amp;")
+                .replace("<", "&lt;")
+                .replace(">", "&gt;")
+                .replace("\"", "&quot;");
+    }
+}