https://pantsbuild.org/ logo
#general
Title
# general
f

fancy-queen-20734

09/18/2015, 5:24 PM
I think I have a report of a stale pid file that ends up pointed at a different process after a reboot. How would people feel about changing the management code for the .pids directory so that it’s a symlink into /var/run?