3 Commits

Author	SHA1	Message	Date
tron	2a957ed711	- Don't delete the pidfile if the process executing the cleanup handler ... isn't the process who created it. - If a new basename is supplied remove the an old pidfile if it was created by this process and create a new one as suggested by Jason Thorpe. This fixes PR lib/13357 by Greg A. Woods.	2001-10-19 20:36:59 +00:00
sommerfeld	22e6ab1ebe	Fix typo.	2001-04-12 22:34:31 +00:00
thorpej	fb695fdcb9	Add pidfile(3), which write a pid file in /var/run, and arranges for it ... to be removed on normal exit.	1999-06-06 01:50:00 +00:00