{"shas":[["000641983bc2af88ef662606c75535dde8381051","3735e9f30bb8f77877a60def534c515b25b05780@bobtfish.net","Write out the pid file after double fork.\n\nTherefore we get the pid of the actual server process saved, rather than\nthat of the runner","Tomas Doran"]],"ref":"refs/heads/psgi","size":1,"head":"000641983bc2af88ef662606c75535dde8381051","push_id":36955734}