GC. This is used in an interactive setting and implements somethinglike: Trigger when a sequence of events has stopped; every time an event arrives, the Timer is restarted. So with creating new Timers i end up with a lot of invalid Timers and at one point GC will stop.
- [julia-users] restartable timer? Andreas Lobinger
- [julia-users] Re: restartable timer? Andreas Lobinger
- Re: [julia-users] Re: restartable timer? Tim Holy
- Re: [julia-users] Re: restartable timer? Andreas Lobinger
