diff --git a/src/runtime/src/comms.rs b/src/runtime/src/comms.rs index 617b5f7..4a03d36 100644 --- a/src/runtime/src/comms.rs +++ b/src/runtime/src/comms.rs @@ -405,7 +405,7 @@ async fn handle_run_kernel( id, destination: _, run, - timestamp + timestamp, } => { let succeeded = match subkernel::load(aux_mutex, routing_table, timer, id, run, timestamp).await { Ok(()) => true, diff --git a/src/runtime/src/subkernel.rs b/src/runtime/src/subkernel.rs index 1b47c36..d188d2c 100644 --- a/src/runtime/src/subkernel.rs +++ b/src/runtime/src/subkernel.rs @@ -106,7 +106,16 @@ pub async fn load( if subkernel.state != SubkernelState::Uploaded { return Err(Error::IncorrectState); } - drtio::subkernel_load(aux_mutex, routing_table, timer, id, subkernel.destination, run, timestamp).await?; + drtio::subkernel_load( + aux_mutex, + routing_table, + timer, + id, + subkernel.destination, + run, + timestamp, + ) + .await?; if run { subkernel.state = SubkernelState::Running; }