chiark / gitweb /
main: check if we have a valid PID before getting the name of it