Re: [PHP-DEV] [PATCH] fix gethostbyname() to return false when hostname not resolved From: Rasmus Lerdorf (rasmus <email protected>)
Date: 09/25/01

> here's a patch to fix bug #13423. think anyone is relying on the
> current (vastly lame, imho) behavior?

Did you break the bug system somehow? I am having no luck looking up
individual bugs, including this one.
http://bugs.php.net/search.php?id=13423 doesn't work.

-Rasmus 

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>