diff options
| author | Juanma Barranquero | 2008-12-12 00:33:30 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2008-12-12 00:33:30 +0000 |
| commit | c63a334eb0558bbc2f04cd9aa3483fe040029499 (patch) | |
| tree | e9109557f9163be3dde8333ec286cf31ea9c39ab /src | |
| parent | 9f215d25e03320d6fea344f87894fcae64c9375f (diff) | |
| download | emacs-c63a334eb0558bbc2f04cd9aa3483fe040029499.tar.gz emacs-c63a334eb0558bbc2f04cd9aa3483fe040029499.zip | |
* server.el (server-sentinel): Uncomment code to delete connection file.
(server-start): Save the connection file in the server property list.
Delete it only when we are reasonably convinced that it is not owned by
a running server.
(server-force-delete): New command to force-delete the connection file,
and stop the server if it is running.
(server-running-p): Return t also for local TCP servers when we find a
process with a matching PID, and :other for undecided cases.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions