Changed summary (was: defpath stomps on port numbers)
---
The defpath extension does not preserve port numbers when creating a default push path. For example

% hg defpath -du bcbeck
% hg defpath
/private/tmp/hellojdk-submit/jdk:
             default = http://bur00bjx.us.oracle.com:8000/jdk9/hellojdk-submit/jdk
    default-push = ssh://bcbeck@bur00bjx.us.oracle.com/jdk9/hellojdk-submit/jdk

This appears to be a flaw in the new_push_url() method that simply ignores port numbers.