多分それがバグかどうかはわかりません。
サーバーに2つのvirutalhostがあります。
virtualhost1.com virtualhost2.com
ポート80でvirtualhost1.comを開いた場合(virtualhost1.com:80)
$_SERVER['HTTP_HOST']='virtualhost1.com';
しかし、virtualhost2.com:80を開くと
$_SERVER['HTTP_HOST']='virtualhost2.com:80'; // NOTE: with port number
理由をお聞かせいただけますか?