support non-standard crawl ports

[leonstafford]

had been earmarked for Advanced Crawling Add-on, but based on following workaroud by @john-shaffer, it may be possible to avoid add-on by adding some logic like John's

ie, reproduce issue and investigate better handling of Site URL/Home's port when they've been set via wp-config.php

// wp-config.php
if ( defined( 'WP_CLI' ) ) {
    $_SERVER['HTTP_HOST'] = 'localhost:1234';
}

define('WP_SITEURL', 'http://' . $_SERVER['HTTP_HOST'] . '/');
define('WP_HOME', 'http://' . $_SERVER['HTTP_HOST'] . '/');

[john-shaffer]

Note that this only works consistently if you also set

define('DISABLE_WP_CRON', true);

and set up a cron job such as wp cron event run --due-now. Otherwise you get wp-cron activations from page visits, which will have the non-localhost HTTP_HOST.