private function setupEnvFromURL($url)
{
$addr = parse_url($url);
$_SERVER['HTTP_HOST'] = $addr['host'];
$_SERVER['SERVER_NAME'] = $addr['host'];
if ($addr['scheme'] === 'https') {
$_SERVER['HTTPS'] = 'on';
$default_port = '443';
} else {
unset($_SERVER['HTTPS']);
$default_port = '80';
}
$_SERVER['SERVER_PORT'] = $default_port;
if (isset($addr['port']) && strval($addr['port']) !== $default_port) {
$_SERVER['SERVER_PORT'] = strval($addr['port']);
}
$_SERVER['REQUEST_URI'] = $addr['path'] . '?' . $addr['query'];
}