From 974a5a213bd780f5021c3e3d40ffad05e3c0a23e Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Mon, 20 Aug 2018 23:37:48 +0200
Subject: Kill referee on player timeout

---
 referee.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'referee.cpp')

diff --git a/referee.cpp b/referee.cpp
index 3f15b6b..7bf3a93 100644
--- a/referee.cpp
+++ b/referee.cpp
@@ -90,3 +90,7 @@ optional<vector<int>> Referee::getScores() {
 	if (isEnd) return scores;
 	else return nullopt;
 }
+
+void Referee::terminate() {
+	proc.terminate();
+}
-- 
cgit v1.2.3-70-g09d2