[Freeciv-Dev] Re: 3 patches for use on public gameservers
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
At 12:59 PM 01/08/28 -0400, Jason Dorje Short wrote:
>Reinier Post wrote:
>
>> And I'd hope to see more comments on the trivial patches of
>>
>> http://arch.freeciv.org/freeciv-dev-200108/msg00762.html
>
>Setting the minimum timeout to 40 is definitely good for public games.
>However, it will make debugging harder since it's convenient to set the
>timeout to -1 or 1. I was going to suggest that the 40 minimum be tied
>to NDEBUG, but of course most public games are compiled with debugging
>anyway. In any case, this functionality is especially important because
>I just went to a civserver.freeciv.org game and changed the timeout to
>-1 ... this simply can't be allowed.
>
>jason
Release versions should always be compiled with NDEBUG. Don't even consider
doing it otherwise. That is what the flag is for, and having to invent
another one that is REALLY_REALLY_REALLY_DEBUG is a tad foolish.
It is sufficient to do the trivial thing and have the patch update just one
of the two values in current CVS, i.e. the one that isn't set to -1. One
shouldn't need to have to comment on this.
And maintainers should be capable of merging such diffs into CVS, even if
they have been allowed to bit-rot for a few weeks :-).
Cheers,
RossW
- [Freeciv-Dev] Re: patches, (continued)
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Jason Dorje Short, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Raimar Falke, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Paul Zastoupil, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Reinier Post, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Raimar Falke, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Reinier Post, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Reinier Post, 2001/08/28
- [Freeciv-Dev] Re: 3 patches for use on public gameservers,
Ross W. Wetmore <=
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Paul Zastoupil, 2001/08/29
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Jason Dorje Short, 2001/08/30
- [Freeciv-Dev] Re: 3 patches for use on public gameservers, Ross W. Wetmore, 2001/08/30
[Freeciv-Dev] Re: patches, Ross W. Wetmore, 2001/08/28
[Freeciv-Dev] Re: patches, Raimar Falke, 2001/08/29
|
|