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

Yes, but that's not where http://bugs.php.net/search.php sends you when
you put a bug id number in the form.

On Tue, 25 Sep 2001, Jim Winstead wrote:

> On Tue, Sep 25, 2001 at 02:00:56PM -0700, Rasmus Lerdorf wrote:
> > > 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.
>
> try http://bugs.php.net/?id=13423.
>
> jim
> 

-- 
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>