Next:Connecting to Pedro, Previous:Registrations, Up:Top
Registrations are removed by sending a newline terminated string of the form
deregister(name)
where name is the registered name of the process.
name
The server will acknowledge the client with a 1 if the deregistration succeeds and a 0 otherwise.