(I have just found the archive, sorry for asking something so silly)....
On Sat, Jul 30, 2011 at 9:21 AM, Brian Braun <[email protected]> wrote: > Hi, > Where do I find that? is there an archive of the threads? > Thanks! > > > > On Sat, Jul 30, 2011 at 9:14 AM, Konstantin Kolinko < > [email protected]> wrote: > >> 2011/7/30 Brian Braun <[email protected]>: >> > How do I solve it? Do I need to kill the thread somehow, or should it >> die as >> > soon as I cancel the timer with the timer.cancel() method? >> >> It was discussed recently. See thread "Terminating Timer Thread >> Gracefully" starting with July 12th. >> >> Best regards, >> Konstantin Kolinko >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: [email protected] >> For additional commands, e-mail: [email protected] >> >> >
