void _resetTimer()

in lib/pool.dart [310:318]


  void _resetTimer() {
    if (_timer == null) return;

    if (_requestedResources.isEmpty) {
      _timer!.cancel();
    } else {
      _timer!.reset();
    }
  }