From 64d9c5e6bc46fa21966c6a91eb97391533df1112 Mon Sep 17 00:00:00 2001
From: Henry Wang <wanghenry1998@gmail.com>
Date: Fri, 3 Nov 2017 18:24:43 -0500
Subject: [PATCH] Ignore BOTs

---
 game-server.js | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/game-server.js b/game-server.js
index af3475e..464c48e 100644
--- a/game-server.js
+++ b/game-server.js
@@ -76,7 +76,9 @@ function Game(id)
     nextInd++;
     core.initPlayer(grid, p);
     
-    log((p.name || "Unnamed") + " (" + p.num + ") joined.");
+    if (p.name.indexOf("BOT") == -1) {
+      log((p.name || "Unnamed") + " (" + p.num + ") joined.");
+    }
     
     client.on("requestFrame", function () {
       if (p.frame === frame)
@@ -142,7 +144,9 @@ function Game(id)
     client.on('disconnect', function() {
       p.die(); //Die immediately if not already.
       p.disconnected = true;
-      log((p.name || "Unnamed") + " (" + p.num + ") left.");
+      if (p.name.indexOf("BOT") == -1) {
+        log((p.name || "Unnamed") + " (" + p.num + ") left.");
+      }
     });
     return true;
   };
@@ -245,7 +249,9 @@ function Game(id)
         possColors.push(pl.baseColor);
         pl.handledDead = true;
       }
-      log((pl.name || "Unnamed") + " (" + pl.num + ") died.");
+      if (pl.name.indexOf("BOT") == -1) {
+        log((pl.name || "Unnamed") + " (" + pl.num + ") died.");
+      }
       pl.client.emit("dead");
       pl.client.disconnect(true); 
     }