From eb4432bb6260eaadb41495149739244308e9e125 Mon Sep 17 00:00:00 2001
From: Tiger Wang <ziwei.tiger@outlook.com>
Date: Fri, 28 Jul 2017 17:54:40 +0100
Subject: Tentative fix for player-limit race condition (#3862)

* Attempts to fix #2257

Derived from d233e9843148313c71fbaba96ccff660e47b07b1

* Changed player count type to int

* Clarified certain actions
---
 src/Globals.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/Globals.h')

diff --git a/src/Globals.h b/src/Globals.h
index a48b48d9c..854ddcc62 100644
--- a/src/Globals.h
+++ b/src/Globals.h
@@ -251,7 +251,9 @@ template class SizeChecker<UInt8,  1>;
 #include <set>
 #include <queue>
 #include <limits>
-#include <chrono>
+#include <random>
+#include <type_traits>
+#include <atomic>
 
 
 
-- 
cgit v1.2.3