diff --git a/src/runtime2/component/component.rs b/src/runtime2/component/component.rs index 1ce574c330f24cb8b74fc25d7d5fdb35d5e6c00e..717810237d4a6aa84b74f9e6e7ae0f2adab9ce88 100644 --- a/src/runtime2/component/component.rs +++ b/src/runtime2/component/component.rs @@ -425,6 +425,7 @@ pub(crate) fn default_handle_control_message( // that if we have a successful sync round, followed by the peer // closing the port, that we don't consider the sync round to // have failed by mistake. + let error_due_to_port_use = if content.closed_in_sync_round && exec_state.mode.is_in_sync_block() && port_was_used { return Err(( last_instruction,