diff options
| author | tron <tron@NetBSD.org> | 2001-10-19 20:36:59 +0000 |
|---|---|---|
| committer | tron <tron@NetBSD.org> | 2001-10-19 20:36:59 +0000 |
| commit | 2a957ed711497aacf5bc11599cca740f5ea21750 (patch) | |
| tree | c834dd08e8156e29fac54103d0e38ff8cf660652 /sys/dev/microcode | |
| parent | 9bd7c9e7442a7a79509c71b6882c47cefda4493e (diff) | |
- 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.
Diffstat (limited to 'sys/dev/microcode')
0 files changed, 0 insertions, 0 deletions
