be20720 Patch from Debian to manage PID files.

Authored and Committed by Tim Waugh 15 years ago
    Patch from Debian to manage PID files.
    
        
file modified
+7 -0
file modified
+98 -2