diff options
| author | vs <vs@FreeBSD.org> | 2005-02-01 19:12:05 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-02-01 19:12:05 +0800 |
| commit | 02b01044b8d58a9f07f9a7b63bda7ccd7253a874 (patch) | |
| tree | e484c6aaea260ec4c035c877ea99a8da83f22181 /java/jdom | |
| parent | 166a10abc6f0d70a613c42b2efffb4eb1f2420be (diff) | |
| download | freebsd-ports-gnome-02b01044b8d58a9f07f9a7b63bda7ccd7253a874.tar.gz freebsd-ports-gnome-02b01044b8d58a9f07f9a7b63bda7ccd7253a874.tar.zst freebsd-ports-gnome-02b01044b8d58a9f07f9a7b63bda7ccd7253a874.zip | |
After a crash jabberd refuses to run if a pidfile exists.
Check if a process with the pid contained
in jabber.pid is running and removes the file if not.
PR: ports/75824
Submitted by: oss-freebsd-ports AT technorama DOT net
Diffstat (limited to 'java/jdom')
0 files changed, 0 insertions, 0 deletions