[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in server-start
From: |
Juanma Barranquero |
Subject: |
Re: bug in server-start |
Date: |
Mon, 15 Dec 2008 12:59:04 +0100 |
On Mon, Dec 15, 2008 at 12:26, Juanma Barranquero <address@hidden> wrote:
> Perhaps the current behavior of server-start when it detects a server
> collision, i.e. erroring out, is too harsh and what Sven Joachim
> proposed is better: just show a message and don't start the server.
A message is too inconspicuous, it won't be noticed. A warning, perhaps.
Juanma
- bug in server-start, Nick Roberts, 2008/12/15
- Re: bug in server-start, Juanma Barranquero, 2008/12/15
- Re: bug in server-start, Sven Joachim, 2008/12/15
- Re: bug in server-start, Nick Roberts, 2008/12/15
- Re: bug in server-start, Juanma Barranquero, 2008/12/15
- Re: bug in server-start, Juanma Barranquero, 2008/12/15
- Re: bug in server-start,
Juanma Barranquero <=
- 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, 2008/12/16