player count

2019-05-14 16:19:24 +02:00 · 2019-05-14 16:19:24 +02:00 · d88eb7db1d
commit d88eb7db1d
parent 60d1c420dc
1 changed files with 9 additions and 0 deletions
--- 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" }),