Added pid() in docker/docker.cpp to get the pid of the container.