
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.

Resatisfiable
      No.

See Also
   remote_connect / 3, remote_yield / 1
