# File lib/puppet/external/event-loop/event-loop.rb, line 167 167: def ignore_timer (timer) 168: # Don't need to wake up for this. 169: @timers.delete(timer) 170: end