public Replica(string op_id, string repl_url, string pm_url) { this.url = repl_url; BinaryServerFormatterSinkProvider provider = new BinaryServerFormatterSinkProvider(); provider.TypeFilterLevel = TypeFilterLevel.Full; IDictionary props = new Hashtable(); props["name"] = "tcp_pm"; TcpChannel channel = new TcpChannel(props, null, provider); channels.Add(channel); ChannelServices.RegisterChannel(channel, false); pm = (IPM)Activator.GetObject(typeof(IPM), pm_url); this.op = pm.get_operator_by_id(op_id); this.semantics = pm.semantics(); this.id = getMyId(); string start_text = "[" + op_id + " " + id + "] created!"; Console.WriteLine(start_text); pm.log(start_text); ConnectReplicas(); }