[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to run server-start only if not already running?
From: |
Richard Stallman |
Subject: |
Re: How to run server-start only if not already running? |
Date: |
Wed, 07 Nov 2007 23:41:56 -0500 |
This is for compatibility with older versions of server.el, which didn't
do it by itself.
That's good. Would you like to write a patch for the trunk's server.el
to provide a feature more or less like this?
The two behaviors that seem possibly desirable are to
start the second server with a different name,
or not start a second server at all.