public void Dispose ()
		{
			if (!disposed) {
				disposed = true;
				if (ProgressMonitor != null) {
					ProgressMonitor.Dispose ();
					ProgressMonitor = null;
				}
			}
		}
Example #2
0
 public void Dispose()
 {
     if (!disposed)
     {
         disposed = true;
         if (ProgressMonitor != null)
         {
             ProgressMonitor.Dispose();
             ProgressMonitor = null;
         }
     }
 }