From f7261e165bda87dae49c879bdac850479cc20c19 Mon Sep 17 00:00:00 2001
From: Ilion Beyst <ilion.beyst@gmail.com>
Date: Sat, 24 Sep 2022 23:37:23 +0200
Subject: detect bot crashes

---
 planetwars-matchrunner/src/match_context.rs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/planetwars-matchrunner/src/match_context.rs b/planetwars-matchrunner/src/match_context.rs
index bdc87a3..6e6a088 100644
--- a/planetwars-matchrunner/src/match_context.rs
+++ b/planetwars-matchrunner/src/match_context.rs
@@ -163,6 +163,7 @@ impl Future for Request {
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum RequestError {
     Timeout,
+    BotTerminated,
 }
 
 pub type RequestResult<T> = Result<T, RequestError>;
-- 
cgit v1.2.3