Mercurial > sat_docs
diff scripts/list_plugins/list_plugins.py @ 83:8dd32aa49614
docker: pid files are put in /tmp to avoid conflict when restarting a container
author | Goffi <goffi@goffi.org> |
---|---|
date | Thu, 18 Feb 2016 17:19:50 +0100 |
parents | cea50c3e94f0 |
children |