8 Removing Registrations

Registrations are removed by sending a newline terminated string of the form

deregister(name)

where name is the registered name of the process.

The server will acknowledge the client with a 1 if the deregistration succeeds and a 0 otherwise.