[ External Interface | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
remote_disconnect(++Peer)
Disconnect the remote peer Peer
- Peer
- Remote Peer (atom)
Description
If Peer is the name for a current remote peer, this predicate will
initiate a disconnection. Otherwise, the predicate succeeds without
performing any action.
Resatisfiable
No.
See Also
remote_connect / 3, remote_yield / 1