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

---
 main.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'main.cpp')

diff --git a/main.cpp b/main.cpp
index 3dca757..5a6c779 100644
--- a/main.cpp
+++ b/main.cpp
@@ -278,6 +278,7 @@ static void playMatch(Player &p1, Player &p2, int index, const Params &params) {
 			if (mres.ms1 / 1000 > timeout_msec || mres.ms2 / 1000 > timeout_msec) {
 				mres.status = MatchResult::Status::timeout;
 				mres.sc1 = mres.sc2 = 0;
+				referee.terminate();
 				goto match_done;
 			}
 
-- 
cgit v1.2.3-54-g00ecf