Ja, stimmt, habe auch erst überlegt, das mit source_remove() zu machen. Das hat zudem den Vorteil, das tatsächlich sofort beendet wird und nicht - wie bei mir jetzt - noch ein weiterer Puls durchlaufen wird. Fand es jetzt aber auch nicht so dramatisch. Zudem bräuchte man für die Timeout-ID ebenfalls eine Instanzvariable, so dass ich jetzt nicht den Eindruck hatte, dass das eine sonderlich "besser" ist. Letztlich habe ich die jetzige Variante aber nur aus "Gewohnheit" so gemacht, so dass dein Einwand durchaus willkommen ist
Besten Gruß,
brb