It doesn't seem that efree() is equivalent to free() as far operating on
NULL pointers. If ptr == NULL, free(ptr) is a no-op, but efree() will
probably barf on it.. Can we make them equivalent?
-Andrei
Documentation is worth it just to be able
to answer all your mail with 'RTFM'. -- Alan Cox
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]
