log scripts/pid2name.sh @ 483:d21be5eaaddc

age author description
2016-03-23 smith improve pid2name script
2016-02-24 smith add hash bangs to specify bash shell
2016-01-24 Dave smith add script to convert host pid into container name