[Freeciv-Dev] (PR#12543) Neverending game

["Per I. Mathisen" <per@xxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=12543 >

[cazfi - Tue Mar 22 22:27:48 2005]:
> >>  Single player game does not end even if that player disbands all
> >> units.
...
>   By single player I meant that there were no even AIs in the game. I
> die instantly when last unit is disbanded and map is revealed to me,
> but server stays in RUN_GAME_STATE. I can disconnect (which should 
> trigger game restart) and reconnect. Reproducible.

This does not surprise me. I noticed this as a potential problem when
reading through is_game_over() in server/srv_main.c yesterday. I
wondered whether I should make a fix, but thought "heck, whoever plays
solo probably don't want the game to end anyways! and btw who is going
to kill him?" Well...

  - Per