chiark / gitweb /
machined: keep track of the initial leader PID of a machine