Config setup: base_url?

In config.inc.php,
should the base_url include the port number?

OJS 3.4.0-5