diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-08-20 23:37:48 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-08-20 23:37:48 +0200 |
commit | 974a5a213bd780f5021c3e3d40ffad05e3c0a23e (patch) | |
tree | 2dc24a08f1305148cfb0d9433c89fbecf9599199 /referee.cpp | |
parent | f62f1505da4cd68246ce40ad3cbccd81df1189df (diff) |
Kill referee on player timeout
Diffstat (limited to 'referee.cpp')
-rw-r--r-- | referee.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
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(); +} |