[ 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

See Also

remote_connect / 3, remote_yield / 1