private const int default_port = 0; //Pax port that we'd expect to be involved in this packet processor.
static Paxos()
{
if (PaxConfig.can_resolve_config_parameter(default_port, "learner_port"))
{
Learner_Port = UInt16.Parse(PaxConfig.resolve_config_parameter(default_port, "learner_port"));
}
else
{
throw (new Exception("Undefined parameter: learner_port"));
}
}
// implicit default constructor
public void packetHandler(object sender, CaptureEventArgs e)
{
int port = Array.IndexOf(PaxConfig.deviceMap, e.Device);
string tag = "";
if (PaxConfig.can_resolve_config_parameter(port, "tag"))
{
tag = PaxConfig.resolve_config_parameter(port, "tag");
}
Console.WriteLine("|" + tag);
}
