[Freeciv-Dev] end of the game is rude (disconnection) - wishlist (PR#816)

[xavier@xxxxxxxxxxxxxxxxxxxxxx]

Full_Name: xavier renaut
Version: 1.11-5 (cvs)
Distribution: Built from source
Client: Gtk+
OS: debian
Submission from: (NULL) (207.253.208.225)


When you fight against AI's, on your machine localhost,
the end of the game is a bit rude.
It disconnect, without the possibility to look 
at the revealed map. It then prompts for a new connection.

The messages in the server prompt are : 
2: cut connection xavier from albert (player Liu Bang) due to ping timeout
> 
2: Lost connection: xavier from albert (player Liu Bang).

I don't know if it's related.