[ External Interface | 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.
Modes and Determinism
- remote_disconnect(+) is det
See Also
remote_connect / 3, remote_yield / 1