planetwars.dev/planetwars-matchrunner/src
2022-09-26 19:57:22 +02:00
..
bot_runner.rs ensure bots cleanly stop before a match completes 2022-09-23 21:34:57 +02:00
docker_runner.rs detect bot crashes 2022-09-24 23:37:23 +02:00
lib.rs track player status and return player outcomes from match 2022-09-26 19:57:22 +02:00
match_context.rs detect bot crashes 2022-09-24 23:37:23 +02:00
match_log.rs propagate PlayerAction::Terminated 2022-09-25 11:06:50 +02:00
pw_match.rs track player status and return player outcomes from match 2022-09-26 19:57:22 +02:00