Complete.Org: Mailing Lists: Archives: freeciv-dev: July 2001:
[Freeciv-Dev] Re: Profiling Civserver again 		Home

[Freeciv-Dev] Re: Profiling Civserver again

[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: Profiling Civserver again
From: Reinier Post <rp@xxxxxxxxxx>
Date: Mon, 30 Jul 2001 10:54:27 +0200 
On Mon, Jul 30, 2001 at 01:21:23AM +0200, Gaute B Strokkenes wrote:

> Then all we need is a command to quit the server immediately when the
> game ends.
> 
>   set eog_quit
> 
> or something like that.

We already have this:

  % civserver --help |& fgrep quit
  -q, --quitidle TIME   Quit if no players for TIME seconds

What you want is an immediate quit after the game status changes
to 'game over'.  You'd have to patch the code or use a wrapper.

-- 
Reinier
[Prev in Thread] Current Thread [Next in Thread]