log scripts/pid2name.sh @ 111:7d781c057956 feature/djs-DEP-12-docker

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