Howto detect the hostname of the server?

[Andreas <maps.on@xxxxxxx>]

Hi,
how could I identify the server the script runs on?

I've got a testserver on Windows and a remote system on Linux that need 
a couple of different settings like IP and port of db-server or folder 
to store logfiles.

I'd like to do something like:

if ( $_SERVER['some_key'] = 'my_test_box' ) {
    $db_host = '1.1.1.1';
    $db_port = 1234;
} else {
    $db_host = '2.2.2.2';
    $db_port = 4321;
}


I looked into phpinfo() but haven't found anything helpful, yet.
Have I overlooked something or is there another way to identify the server?

--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php