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@xxxxxxxxxx] Gesendet: Sonntag, 13. Februar 2005 19:33 An: php-general Betreff: 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
-- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
