public ServerManager(ServerPrx server, string channel) { m_server = server; // Create the Agent Manager m_agent_manager = new AgentManager(m_server); // Create the Channel Manager m_channel_manager = new ChannelManager(m_server, channel); }