log scripts/pid2name.sh @ 85:8f45c43ea7a4 feature/djs-DEP-12-docker

age author description
Wed, 23 Mar 2016 16:39:31 +0100 smith improve pid2name script
Wed, 24 Feb 2016 18:23:42 +0000 smith add hash bangs to specify bash shell
Sun, 24 Jan 2016 10:04:59 -0500 Dave smith add script to convert host pid into container name