[Freeciv-Dev] Re: abrupt, unexpected game end (was: Bug report)
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
|
To: |
freeciv-dev@xxxxxxxxxxx (Freeciv developers) |
|
Subject: |
[Freeciv-Dev] Re: abrupt, unexpected game end (was: Bug report) |
|
From: |
Reinier Post <rp@xxxxxxxxxx> |
|
Date: |
Sun, 19 Aug 2001 21:17:27 +0200 |
On Sun, Aug 19, 2001 at 10:26:40AM -0400, Miguel Farah F. wrote:
> Reinier Post [19/08/2001 03:34] dijo/said:
> >> If this was game is game 18772 it seems loxety typed /end.
> >> Thus causing endgame.
> >
> >/end and /quit are sometimes mistaken for requests to make
> >the client leave the game. (I have made that mistake.)
>
> Maybe we should change /end to /endgame, then.
It is /endgame already, but commands can be abbreviated.
So the logical way to /end this dispute is to add a new command:
/endsession. This would just terminate the user's connection.
(On the server command line, it may close stdin, or be a noop.)
--
Reinier
|
|
