38f23fe001
This commit changes the way ports are aggregated in the Docker provider. Previously ports were aggregated by their "number", but that is not a truly unique representation. Instead, the protocol is now taken into account when generating the port map. Fixes GH-5527 |
||
---|---|---|
.. | ||
plugins | ||
support | ||
templates/guests | ||
vagrant | ||
base.rb | ||
vagrant_test.rb |