in lib/pool.dart [310:318]
void _resetTimer() { if (_timer == null) return; if (_requestedResources.isEmpty) { _timer!.cancel(); } else { _timer!.reset(); } }