[Freeciv-Dev] (PR#10283) "Disconnect" menu item
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
|
To: |
undisclosed-recipients: ; |
|
Subject: |
[Freeciv-Dev] (PR#10283) "Disconnect" menu item |
|
From: |
"Mateusz Stefek" <mstefek@xxxxxxxxx> |
|
Date: |
Thu, 23 Sep 2004 13:08:54 -0700 |
|
Reply-to: |
rt@xxxxxxxxxxx |
<URL: http://rt.freeciv.org/Ticket/Display.html?id=10283 >
Do we need this item?
It makes conndlg implementation very complicated and buggy.
For example if the internal server is killed the zombie process isn't
grabbed, because we cannot kill server inside close_socket_callback().
There are also many similar bugs.
IMO things will be much easier if we assume that we are always connected
to the internal server.
--
mateusz
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Freeciv-Dev] (PR#10283) "Disconnect" menu item,
Mateusz Stefek <=
|
|
