log scripts/pid2name.sh @ 605:46a67e7afd98 release/2.23.0 tip

age author description
Wed, 23 Mar 2016 16:39:31 +0100 smith improve pid2name script