예제 #1
0
 public void Dispose()
 {
     if (historyFile != null)
     {
         lock (accessLock)
         {
             if (historyFile != null)
             {
                 historyFile.Dispose();
                 historyFile = null;
             }
         }
     }
 }
예제 #2
0
 public void Dispose()
 {
     if (historyFile != null)
     {
         lock (accessLock)
         {
             if (historyFile != null)
             {
                 historyFile.Dispose();
                 historyFile = null;
             }
         }
     }
 }
예제 #3
0
 public HistoryManager(HistoryManagerData hmd)
 {
     Formatter   = new SmartHistoryFormatter();
     historyFile = new HistoryFile();
     historyFile.OpenFile(hmd.historyFile);
 }
예제 #4
0
 public HistoryManager(HistoryManagerData hmd)
 {
     Formatter = new SmartHistoryFormatter();
     historyFile = new HistoryFile();
     historyFile.OpenFile(hmd.historyFile);
 }