[Freeciv-Dev] (PR#11976) Disconnect reason

["Paul Zastoupil" <paul@xxxxxxxxxxxxx>]

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

It would be nice if the message when a player disconnected was different
depending on the reason for the disconnect.

This will require changes to at least close_socket_callback() and
lost_connection_to_client().

Then players would know if it was a ping timeout, voluntary disconnect etc.

-- 
Paul Zastoupil