Re: server: Avoid infinite loop when we're out of timers in set_win_timer server call