public void Dispose()
{
if (historyFile != null)
{
lock (accessLock)
{
if (historyFile != null)
{
historyFile.Dispose();
historyFile = null;
}
}
}
}
public void Dispose()
{
if (historyFile != null)
{
lock (accessLock)
{
if (historyFile != null)
{
historyFile.Dispose();
historyFile = null;
}
}
}
}
public HistoryManager(HistoryManagerData hmd)
{
Formatter = new SmartHistoryFormatter();
historyFile = new HistoryFile();
historyFile.OpenFile(hmd.historyFile);
}
public HistoryManager(HistoryManagerData hmd)
{
Formatter = new SmartHistoryFormatter();
historyFile = new HistoryFile();
historyFile.OpenFile(hmd.historyFile);
}