protected override void Dispose(bool finalize) { // workspace is going away. unregister this workspace from work coordinator _registrationService.Unregister(this, blockingShutdown: true); base.Dispose(finalize); }
protected override void Dispose(bool finalize) { base.Dispose(finalize); if (_registrationService != null) { _registrationService.Unregister(this); _registrationService = null; } this.ClearSolution(); }
internal void StopSolutionCrawler() { if (_registrationService != null) { lock (this) { if (_registrationService != null) { _registrationService.Unregister(this, blockingShutdown: true); _registrationService = null; } } } }
public void Dispose() { registrationService.Unregister(workspace); }
protected override void Dispose(bool finalize) { base.Dispose(finalize); _registrationService?.Unregister(this); }