[ External Interface | Reference Manual | Alphabetic Index ]
remote_yield(+Peer)
Explicitly yield to the remote peer Peer
- Peer
- Remote peer (atom)
Description
    
   If Peer is a valid current remote peer, this predicate will cause the control to be
   transfer to that peer, i.e. the ECLiPSe will yield to the remote
   side. This predicate returns when ECLiPSe side resumes control.
   If the remote side initiates disconnection while it has control,
   remote_yield/1 will abort after the disconnection.
Modes and Determinism
- remote_yield(+) is semidet
Fail Conditions
Peer is not a valid current remote peer.
Exceptions
- (peer_abort_disconnected) 
- Peer has disconnected.
- (peer_abort_error) 
- Some internal error has occured (this should be reported as an ECLiPSe bug to the ECLiPSe team).
See Also
remote_connect / 3, remote_disconnect / 1