public void Destroy() { if (manager_ != null) { manager_.RemoveTimer(this); } }
public void RemoveTimer(Timer t) { timers_.RemoveTimer(t); }
public void Destroy() { if (manager_ != null) { manager_.RemoveTimer(this); } }
public void RemoveTimer(Timer t) { timers_.RemoveTimer(t); }