[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in server-start
From: |
Ulrich Mueller |
Subject: |
Re: bug in server-start |
Date: |
Tue, 16 Dec 2008 14:43:30 +0100 |
>>>>> On Tue, 16 Dec 2008, Juanma Barranquero wrote:
>> Looks good, except for the exit status of the parent which is zero.
> As for my changes, have you tested them? ("Looks good" is not the
> same as "Works OK" ;-)
I meant the latter. Tested and works fine. :)
Ulrich
- Re: bug in server-start, (continued)
- Re: bug in server-start, Juanma Barranquero, 2008/12/15
- Re: bug in server-start, Stefan Monnier, 2008/12/15
- Re: bug in server-start, Dan Nicolaescu, 2008/12/15
- Re: bug in server-start, Juanma Barranquero, 2008/12/15
- Re: bug in server-start, Dan Nicolaescu, 2008/12/15
- Re: bug in server-start, Romain Francoise, 2008/12/15
- Re: bug in server-start, Ulrich Mueller, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16
- Re: bug in server-start, Ulrich Mueller, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16
- Re: bug in server-start,
Ulrich Mueller <=
- Re: bug in server-start, Stefan Monnier, 2008/12/16
- Re: bug in server-start, Ulrich Mueller, 2008/12/16
- Re: bug in server-start, Dan Nicolaescu, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16
- Re: bug in server-start, Dan Nicolaescu, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16
- Re: bug in server-start, Dan Nicolaescu, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16
- Re: bug in server-start, Dan Nicolaescu, 2008/12/16
- Re: bug in server-start, Juanma Barranquero, 2008/12/16