From 1745adbc78e20145d087df998a8e6add887d1934 Mon Sep 17 00:00:00 2001
From: ineedbots <ineedbots@outlook.com>
Date: Sat, 8 May 2021 14:06:47 -0600
Subject: [PATCH] Fix menu being enabled in wp editor

---
 main_shared/maps/mp/bots/_menu.gsc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/main_shared/maps/mp/bots/_menu.gsc b/main_shared/maps/mp/bots/_menu.gsc
index f1ec5c6..b92f8f9 100644
--- a/main_shared/maps/mp/bots/_menu.gsc
+++ b/main_shared/maps/mp/bots/_menu.gsc
@@ -27,6 +27,9 @@ watchPlayers()
 	{
 		wait 1;
 
+		if (!getDvarInt("bots_main_menu"))
+			return;
+
 		for (i = level.players.size - 1; i >= 0; i--)
 		{
 			player = level.players[i];