Re: bug in server-start

[Romain Francoise]

"Juanma Barranquero" <address@hidden> writes:

> How do you propose to fix it? We can make --daemon to do the
> equivalent of "(progn (server-force-delete) (server-start))", or
> exit with an error if there's a name-matching server. Other ideas?

Start a server named 'server.$pid'?  Then you can attach and kill it
properly.