diff options
Diffstat (limited to 'planetwars-matchrunner/src/match_log.rs')
-rw-r--r-- | planetwars-matchrunner/src/match_log.rs | 2 |
1 files changed, 2 insertions, 0 deletions
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")] |