
remote_disconnect(+Peer)

   Disconnect the remote peer Peer

Arguments
   Peer                Remote Peer (atom)

Type
   External Interface

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
