[Freeciv-Dev] (PR#13297) server doesn't restart if it never started

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

If all players disconnect the server restarts after a while.  However if
the server never /started, then it won't restart.  I always thought this
was intentional.  However for pubserver it's a bug because if players
abandon a game without starting, then new players that come along and
join the server will have non-default options and not know it.

-jason