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

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

Jason Short wrote:
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=9674 >
> 
> When I choose "End Game" from the client's game menu, the client 
> disconnects from the server.  Did the server crash?  Or is this a 
> misfeature?

It looks like a misfeature.  It looks like "end game" just disconnects 
the client, it doesn't do "/end" like you would expect.

Surely this should be fixed?  Is there a reason the behavior is the way 
it is?

jason