https://pantsbuild.org/ logo
#development
Title
# development
h

happy-kitchen-89482

12/10/2018, 7:04 PM
So somehow the pantsd pidfile contains the wrong pid, in a somewhat dangerous way.