From b5ccd3631556471a5a4ab8b4f71fa32a5cdb8236 Mon Sep 17 00:00:00 2001
From: Vamist <Vamist@protonmail.com>
Date: Tue, 28 Jan 2020 20:16:06 +0000
Subject: [PATCH] [Added] Players command

Allows servers to view current active players in more detail without having to use status
---
 server/src/mindustry/server/ServerControl.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/server/src/mindustry/server/ServerControl.java b/server/src/mindustry/server/ServerControl.java
index 0ee88e19e2..9daf02dbb5 100644
--- a/server/src/mindustry/server/ServerControl.java
+++ b/server/src/mindustry/server/ServerControl.java
@@ -715,6 +715,18 @@ public class ServerControl implements ApplicationListener{
             }
         });
 
+        handler.register("players", "List all players currently in game.", arg -> {
+            if(playerGroup.size() == 0){
+                info("No players are currently in the server.");
+            }else{
+                info("&lyPlayers: {0}", playerGroup.size());
+                for(Player user : playerGroup){
+                    PlayerInfo userInfo = user.getInfo();
+                    info(" &lm {0} /  ID: '{1}' / IP: '{2}' / Admin: '{3}'", userInfo.lastName, userInfo.id, userInfo.lastIP, userInfo.admin);
+                }
+            }
+        });
+
         handler.register("runwave", "Trigger the next wave.", arg -> {
             if(!state.is(State.playing)){
                 err("Not hosting. Host a game first.");