[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]