diff --git a/src/runtime2/communication.rs b/src/runtime2/communication.rs index 7be0b8b8ec97bb4981dccfaab90c50de37fcba94..f563446fba8df70db1e867ae1f42ab2d0d0c9b80 100644 --- a/src/runtime2/communication.rs +++ b/src/runtime2/communication.rs @@ -111,6 +111,7 @@ pub struct SyncSolutionGetterPort { pub peer_comp_id: CompId, pub peer_port_id: PortId, pub mapping: u32, + pub failed: bool, } /// Putter port in a solution. A putter may not be certain about who its peer @@ -120,6 +121,7 @@ pub struct SyncSolutionPutterPort { pub self_comp_id: CompId, pub self_port_id: PortId, pub mapping: u32, + pub failed: bool, } #[derive(Debug)] @@ -181,7 +183,7 @@ pub enum ControlMessageContent { PortPeerChangedUnblock(PortId, CompId), } -#[derive(Debug)] +#[derive(Copy, Clone, Debug)] pub struct ControlMessageClosePort { pub port_to_close: PortId, // ID of the receiving port pub closed_in_sync_round: bool, // needed to ensure correct handling of errors