<?
/**
* This heinously simple file just makes sure that anything that includes
* it is guaranteed to be connected via SSL 
* - Ammon [9/9/05]
*/
if( $_SERVER['SERVER_PORT'] !=
443 ) {
header("Location: https://".
$_SERVER['SERVER_NAME'].
$_SERVER['REQUEST_URI']);
die();
}
?>