# 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