log scripts/pid2name.sh @ 397:886a7dc796b8

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