From dd45be98a5c1fc17001345c1bf411f11a4240907 Mon Sep 17 00:00:00 2001 From: Joscha Date: Sat, 12 Aug 2023 02:33:08 +0200 Subject: [PATCH] Add todo --- src/server/web/api.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/server/web/api.rs b/src/server/web/api.rs index 05a92d3..e8eec6b 100644 --- a/src/server/web/api.rs +++ b/src/server/web/api.rs @@ -172,6 +172,7 @@ async fn post_status( } let work = prepare_work(work, bench_repo)?; + // TODO Reserve this work debug!("Received status update from {name}"); Ok(Json(ServerResponse { work, abort_work }).into_response()) }