[Freeciv-Dev] rfc: server restart patch

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

This is a proof of concept patch that demonstrates server hot restart. You
no longer need to quit and restart the server program in order to load a
new savegame, create a new game, etc, all you need to do is end the
current game.

The behaviour of /quit has been changed. If you are in pregame state, it
works as it used to. If you are in a game, it will dump you right back to
pregame, purge all players, and allow you to launch another game.

It seems to work fine but it is a quick hack job with little testing done.

TODO
 - The client no longers shows you the end of game map.
 - Combine with Mike's authentication patch; connections should not be
   dropped, only players.

Yours
Per

server_restart.diff
Description: Text document