I think should always use $_SERVER['HTTP_HOST']

[fatindeed]

phpCAS/source/CAS/Client.php

Lines 3588 to 3592 in 6846e00

	if (empty($_SERVER['SERVER_NAME'])) {
	$server_url = $_SERVER['HTTP_HOST'];
	} else {
	$server_url = $_SERVER['SERVER_NAME'];
	}

my nginx conf

server {
listen 80 default_server;
server_name .mydomain.com;
....
}

then when I open https://first.second.mydomain.com/, $_SERVER['SERVER_NAME'] will be mydomain.com, and $_SERVER['HTTP_HOST'] will be first.second.mydomain.com.

[jfritschi]

Please have a look at #234. We already had some discussion in this topic.

Happy to hear your arguments aside from "make it work for my case" :-)

[jfritschi]

Closing this as duplicate