public void ReleaseTimer(Timer timer) { if (timer == null) { throw new ArgumentNullException("timer"); } if (timers.TryRemove(timer) == false) { throw new InvalidOperationException("Unknown timer."); } try { timer.Dispose(); } catch (Exception e) { log.WarnException("Timer was not disposed correctly.", e); } }
public void RemoveFifteenSecondsIntervalMeterMetric(ICounterMetric meterMetricToRemove) { fifteenSecondsIntervalMeterMetrics.TryRemove(meterMetricToRemove); }
public void RemoveFiveSecondsIntervalMeterMetric(ICounterMetric meterMetricToRemove) { fiveSecondsTickIntervalMetrics.TryRemove(meterMetricToRemove); }
public void RemovePerSecondCounterMetric(ICounterMetric perSecondCounterMetricToRemove) { oneSecondIntervalMetrics.TryRemove(perSecondCounterMetricToRemove); }
public void RemoveMeterMetric(MeterMetric meterMetricToRemove) { meterMetrics.TryRemove(meterMetricToRemove); }
public void RemovePerSecondCounterMetric(PerSecondCounterMetric perSecondCounterMetricToRemove) { perSecondCounterMetrics.TryRemove(perSecondCounterMetricToRemove); }