log docker/sat_pubsub/Dockerfile @ 93:70f65a6b3392

age author description
Thu, 18 Feb 2016 17:19:50 +0100 Goffi docker: pid files are put in /tmp to avoid conflict when restarting a container