/// <summary> /// Ensures that any groups opened after this one are closed before closing this one. /// </summary> void IDisposable.Dispose() { if (_data != null) { while (Monitor._current != this) { ((IDisposable)Monitor._current).Dispose(); } Monitor.CloseGroup(Monitor.NextLogTime(), null); } }