Chris Smith 69e1dea224

Fix ports in the docker instructions ...

-P/--publish-all publishes the container ports on a random
host port, which you have to look up using `docker port`.

In the common case they should be published on the same ports.

2019-11-22 18:06:51 +00:00

..

docker

Fix ports in the docker instructions

2019-11-22 18:06:51 +00:00