From d88eb7db1d25d8a8a57f74dfd8bb15583eab612f Mon Sep 17 00:00:00 2001
From: NatureFreshMilk <naturefreshmilk@github.com>
Date: Tue, 14 May 2019 16:19:24 +0200
Subject: [PATCH] player count

---
 server/static/js/WorldInfoDisplay.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/server/static/js/WorldInfoDisplay.js b/server/static/js/WorldInfoDisplay.js
index 1352d74..f839159 100644
--- a/server/static/js/WorldInfoDisplay.js
+++ b/server/static/js/WorldInfoDisplay.js
@@ -29,7 +29,16 @@ var worldInfoRender = function(info){
     ];
   }
 
+  function getPlayers(){
+    return [
+      m("span", { class: "fa fa-users" }),
+      info.players.length
+    ];
+  }
+
   return [
+    getPlayers(),
+    " ",
     getLag(),
     " ",
     m("span", { class: "fa fa-clock" }),