fix overflow for name
improve timer support; ensure server stops on signal even with pending timers