[Freeciv-Dev] (PR#9674) server crash when ending game?

["Mateusz Stefek" <mstefek@xxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=9674 >

> [jdorje - Fri Aug 13 09:02:45 2004]:
> 
> > [mstefek - Wed Aug 11 23:04:22 2004]:
> > 
> > Maybe this menu item should be named "New Game"
> 
> What's the difference between that and "disconnect"?
> 
Note that it is possible to start multiplayer game with new connection
dialog. The player who started the server may want to /away himself and
disconnect from the game without really ending it.

My proposition:
"End game" -> "New Game"
+"End game" (synonymous with /endgame)
"Disconnect" -> "Leave game"
"Quit" -> "Quit Program"
--
mateusz