if(isset($_SERVER['HTTP_SSL'])) { $_SERVER['SERVER_PORT']=443; $_SERVER['HTTPS']='on'; }