settings for multiple sites with port

I have 2 sites running on port 85 (I can not have them on port 80 because of the provider) and can not create settings directory for any of them, ":" is not a valid char for directory name (Windows Host).

Example: http://name.domain.com:81/site/

My suggestion is to change the following line:

$server = explode('.', rtrim($_SERVER['HTTP_HOST'], '.'));

to:

$tmp = parse_url(rtrim($_SERVER['HTTP_HOST'], '.'));
$server = explode('.', $tmp['host']);