[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: error in server-running-p on M$

From: Juanma Barranquero
Subject: Re: error in server-running-p on M$
Date: Sun, 23 Nov 2008 12:26:40 +0100

On Sun, Nov 23, 2008 at 06:57, Stefan Monnier <address@hidden> wrote:

> but I now think you're right: checking
> the PID is probably a simpler solution (at least if stopping the server
> properly removes the entry from the file).

Stopping the server removes the file.


reply via email to

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