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

mps_exit

Shutdown the message passing subsystem on this process.

Description

mps_exit causes disassociation from the name server and the other processes. Although not strictly necessary, it is recommended that processes invoke mps_exit just before they terminate.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(176)
Message passing system error

Examples

   
    [eclipse 1]: mps_init(breeze).
    yes.
    [eclipse 2]: mps_port_allocate(true/0, Port).
    Port = 2050162692
    yes.
    [eclipse 3]: mps_send(2050162692,"Hello World !").
    yes.
    [eclipse 4]: mps_receive(2050162692, Message).
    Message = "Hello World !"
    yes.
    [eclipse 5]: mps_port_deallocate(2050162692).
    yes.
    [eclipse 6]: mps_exit. 
    yes.
    [eclipse 7]: mps_exit.
    message passing error in mps_exit



See Also

mps_init / 1, mps_ping / 1, 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