Cannot get a distributed deployment to work on docker

[mrjn (Manish R Jain)]

@felipellrocha

–my “$IP:12345” \

This is the problem. It should be port 8888.