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);
}
