Kill referee on player timeout

1 files changed, 3 insertions, 0 deletions

diff --git a/referee.h b/referee.h
index 5f278c5..0121196 100644
--- a/referee.h
+++ b/referee.h
@@ -25,6 +25,9 @@ public:
 
 	bool gameEnded();
 	optional<vector<int>> getScores();
+
+	// Kills the referee process
+	void terminate();
 };
 
 /*