diff options
| author | Ilion Beyst <ilion.beyst@gmail.com> | 2022-09-25 11:06:50 +0200 |
|---|---|---|
| committer | Ilion Beyst <ilion.beyst@gmail.com> | 2022-09-25 11:06:50 +0200 |
| commit | b7bcbdd3a6b045692a1850d6b49128e312dffbe7 (patch) | |
| tree | a9371c6fce0ddfd9e66827b65594de83bb6ff26a /planetwars-matchrunner/src/match_log.rs | |
| parent | f7261e165bda87dae49c879bdac850479cc20c19 (diff) | |
| download | planetwars.dev-b7bcbdd3a6b045692a1850d6b49128e312dffbe7.tar.xz planetwars.dev-b7bcbdd3a6b045692a1850d6b49128e312dffbe7.zip | |
propagate PlayerAction::Terminated
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")] |