pukiwikiのSERVER_NAME

というか、httpdのSERVER_NAME。

apacheではhttpd.confのServerNameに指定すればたぶんOKだけど、An HTTPDではServerNameに相当する設定がなさそう。そうするとSERVER_NAMEにはホスト名が入ってしまうので、常に127.0.0.1にしておきたい時は困る。

仕方ないのでinit.phpをこんな感じにしておきました。

$_SERVER["SERVER_NAME"] = '127.0.0.1';
foreach (array('SCRIPT_NAME', 'SERVER_ADMIN', 'SERVER_NAME',
	'SERVER_PORT', 'SERVER_SOFTWARE') as $key) {
	define($key, isset($_SERVER[$key]) ? $_SERVER[$key] : '');
	unset(${$key}, $_SERVER[$key], $HTTP_SERVER_VARS[$key]);
}

もう少しスマートにならないものだろうか。素直にapache使えばいいのかなあ・・・。完全にXAMPPに移行した方が幸せになれそう。