The current config does not take ports into account - just the network hostname. I would recommend putting some logic in your PHP config file that includes other config files or sets other config values based on the port.
Something like:
# app/config/<hostname>/app.php
$port = $_SERVER['SERVER_PORT'];
if('80' == $port) {
return require 'development.php';
} elseif('81' == $port) {
return require 'production.php';
}
Edge cases like these are exactly why I like to keep all config and routing in PHP instead of XML, YAML, INI, or any other format. With PHP, it's fairly easy to come up with a workaround for a missing feature :).
Hope that helps!
--
Vance Lucas
http://vancelucas.com