Summary: | /var/run/*pid not being cleaned up. | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Torgeir Hansen <torgeir> |
Component: | [OLD] Core system | Assignee: | Martin Schlemmer (RETIRED) <azarah> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | CC: | pfeifer |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Torgeir Hansen
2003-04-01 12:44:07 UTC
It will be the case if you try to restart it without rebooting. Do this test: # rc-update del gpm # /etc/init.d/gpm stop zap # touch /var/run/gpm.pid Now reboot, and check if /var/run/gpm.pid still exists. You should see that it is gone. The only reason it will be there, is if you have gpm to start at boot, but it crashes, and the gpm init script did not get a fail status from gpm, so marked it as started. as I cannot reproduce it anymore it does appear to be a brainbug (or config-problem) ;] Gpm was prob started on that reboot, but crashed. I have some pid checking that I need to finish and implement, but that is another bug. |