$db_url port component is ignored

drush ignores the database port, resulting in failure to connect when a non-standard port is used in $db_url (settings.php)
Patch attached, tested with pgsql though not pgsql-specific.