From bd252af3a5de564fcd22da53230d368b35e782ca Mon Sep 17 00:00:00 2001
From: Michael Wilson
If the port is an input port, skip to the next step. If the
output port's .state is not
- "connected",
- clear all pending send data and skip to the next step. Clear
- any pending send data in the system with timestamps in the
- future, then finish sending any send messages with no
- timestamp or with a timestamp in the past or present, prior
- to proceeding to the next step.
+ "connected"
+ or if its .connection is "pending", clear all pending send
+ data and skip to the next step. Clear any pending send data
+ in the system with timestamps in the future, then finish
+ sending any send messages with no timestamp or with a
+ timestamp in the past or present, prior to proceeding to
+ the next step.
value argument.
- Terminate these steps. -
-