Project

General

Profile

Bug #830 ยป 0023-Correct-Inresponsive-to-Unresponsive.patch

Marko Lindqvist, 09/07/2024 12:47 AM

View differences:

server/srv_main.c
if (between_turns != NULL) {
game.server.turn_change_time = timer_read_seconds(between_turns);
log_debug("Inresponsive between turns %g seconds", game.server.turn_change_time);
log_debug("Unresponsive between turns %g seconds", game.server.turn_change_time);
}
while (server_sniff_all_input() == S_E_OTHERWISE) {
    (1-1/1)