gui: Shutdown scheduler after schedule() returns.