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