private void FrontierNodeReader(object obj)
{
if (ZingerConfiguration.FrontierToDisk)
{
string inputFileName = obj as string;
if (File.Exists(inputFileName))
{
Stream sreader = File.Open(inputFileName, FileMode.Open);
while (sreader.Position < sreader.Length)
{
var fNode = new FrontierNode();
fNode.Deserialize(sreader);
currFrontierSet.Add(fNode);
}
sreader.Close();
}
}
}