<? /** * 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(); } ?>