php: よくやるリダイレクト

<?php
// 今現在のURL基点を定数にする。
define("BASE_URL",($_SERVER['SERVER_PORT']==443)?'https://'.$_SERVER['HTTP_HOST']:'http://'.$_SERVER['HTTP_HOST']);

// 443番ポートでの接続でないと嫌だとゴネる
//   443番ポートだからといって暗号化されているとは限らないけどね...
$HTTPS_URL = 'https://'.$_SERVER['HTTP_HOST'].$_SERVER['PHP_SELF'].'?'.$_SERVER['QUERY_STRING'] ;
if( $_SERVER['SERVER_PORT']!=443 )
    {
      header("Location: ".$HTTPS_URL);
      exit();
    }

?>