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

[Stefan Monnier]

>> BTW, another option is to let server-stop ask the question, so
>> C-u -1 M-x server-mode would provide the functionality  of
>> server-force-delete: if server is running, turn it off, if it's not
>> running and there's no socker/server file, don't do anything, and if
>> there is some file ask the user whether to force-delete it.

> Let's see what people thinks of the current interface. I'm sure if
> there is a better one (perhaps the one you're suggesting) we will know
> soon enough.

Actually, it seems like a sufficiently rarely-used functionality that it
probably won't show up until much later,


        Stefan