[ ECLiPSe message passing built-in.|Group Index| Full Index]

mps_ping(+Host)

Check whether the name server on Host is responding.

+Host
Atom or string.

Description

With mps_ping the name server can be pinged, i.e. it succeeds if the name server is up and running. Normally, it is not used in an application, but it may be useful for debugging purposes. Be patient when the mps_ping predicate seems to hang, because it can take a while before mps_ping decides to fail.

Fail Conditions

Fails if the server is not responding.

Resatisfiable

No.

Exceptions

Examples

   
    [eclipse 1]: mps_init(breeze).
    yes.
    [eclipse 2]: mps_ping(breeze).
    yes.
    [eclipse 3]: mps_ping(whirlwind).
    no (more) solution.



See Also

mps_init / 1, mps_exit / 0, mps_port_register / 4, mps_port_lookup / 3, mps_port_deregister / 3, mps_port_allocate / 2, mps_port_deallocate / 1, mps_send / 2, mps_receive / 2