log scripts/pid2name.sh @ 395:b3909bd1a2b6

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