$_SERVER['HTTPS'] = 'on'; $_SERVER['SERVER_PORT'] = '443';