register_port_role (&workplace_shell_client),
{
  workplace_shell_client = {
                             role_name : "WPHardwareManager",
                             port_proc : hardware_manager_proc
                           }
};
