[mirror] Fix the create_hosts script to remove a possible port from the URL
authorHolger Hans Peter Freyther <zecke@selfish.org>
Sun, 22 Nov 2009 15:42:40 +0000 (16:42 +0100)
committerHolger Hans Peter Freyther <zecke@selfish.org>
Sun, 22 Nov 2009 15:42:40 +0000 (16:42 +0100)
commit8b4e47a221d416256ba477702bc503e25825c92e
tree3165f1324946e88ce02870cf520fd4b14d3e108b
parentf79f6e9dda0ae70fbd990224d541ffaefbad85d0
[mirror] Fix the create_hosts script to remove a possible port from the URL

Look for a ':' and then remove everything starting from it.. This
is filtering a site like:
    ads.guardian.co.uk:80
host-tools/mirror/create_hosts.py