Posted by Gerard Samuel on 02/13/05 21:57
Bostjan Skufca @ domenca.com wrote:
>php_uname()
>
>
>
>
That works ->
$ php -r "var_dump(php_uname('n'));"
string(20) "gladiator.trini0.org
Thanks
>
>
>On Sunday 13 February 2005 20:37, Gerard Samuel wrote:
>
>
>>Mirco Blitz wrote:
>>
>>
>>>Probably the Global Variable $SERVER_NAME helps you out.
>>>
>>>
>>The global variable $SERVER_NAME is not available via cli
>>(at least for me)
>>
>>
>>
>>>-----Ursprüngliche Nachricht-----
>>>Von: Gerard Samuel [mailto:php-general@trini0.org]
>>>Gesendet: Sonntag, 13. Februar 2005 19:33
>>>An: php-general
>>>Betreff: [PHP] Determine SERVER_NAME
>>>
>>>Via cli that is.
>>>Is there anyway besides making an actual system call (i.e.
>>>exec()/system()/etc...) to determine the server's name via php's cli???
>>>
>>>Thanks
>>>
>>>--
>>>PHP General Mailing List (http://www.php.net/) To unsubscribe, visit:
>>>http://www.php.net/unsub.php
>>>
>>>
>
>
>
Navigation:
[Reply to this message]
|