remove port number from hostname
authorlrrb <lrrb@users.noreply.github.com>
Wed, 16 Nov 2016 22:06:37 +0000 (23:06 +0100)
committerGitHub <noreply@github.com>
Wed, 16 Nov 2016 22:06:37 +0000 (23:06 +0100)
commitcea73db7792c92fef0915ddcb7e5b72ee360525c
tree2de029f53a2bb65b4e4c955c7a926f930776a104
parent2298cb2b473a1d554abd343ad18943d1a879d500
remove port number from hostname

Solve the issue reported in https://tickets.puppetlabs.com/browse/MODULES-4104 :  remove the port number from repository location in order to get the host name of the repository.
manifests/source.pp