From b7bcbdd3a6b045692a1850d6b49128e312dffbe7 Mon Sep 17 00:00:00 2001
From: Ilion Beyst <ilion.beyst@gmail.com>
Date: Sun, 25 Sep 2022 11:06:50 +0200
Subject: propagate PlayerAction::Terminated

---
 planetwars-matchrunner/src/match_log.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'planetwars-matchrunner/src/match_log.rs')

diff --git a/planetwars-matchrunner/src/match_log.rs b/planetwars-matchrunner/src/match_log.rs
index 27443df..e6cf6c6 100644
--- a/planetwars-matchrunner/src/match_log.rs
+++ b/planetwars-matchrunner/src/match_log.rs
@@ -15,6 +15,8 @@ pub enum MatchLogMessage {
     GameState(State),
     #[serde(rename = "stderr")]
     StdErr(StdErrMessage),
+    #[serde(rename = "bot_terminated")]
+    BotTerminated { player_id: u32 },
     #[serde(rename = "timeout")]
     Timeout { player_id: u32 },
     #[serde(rename = "bad_command")]
-- 
cgit v1.2.3