|Maintainer||Stefan Schmidt (email@example.com)|
Version : 0.1
This module contains the main datatype for the PortRegistry.
Creation and Destruction
Creates a new PortRegistry.
Closes the PortRegistry with its streams and threads.
Get the RequestPort of the PortRegistry. It can be used to give access to the PortRegistry, eg. you can serialize this information and transfer it over the network to grant access to the clients.