Changing the check for SERVER_NAME to pass if it is not defined.

On my system $_SERVER["SERVER_NAME"] is not defined when I run php in
a shell, so php gives the error

`Notice: Undefined index: SERVER_NAME`

This small change accounts for that but still exits the program if
SERVER_NAME is not NULL.