How about http_header_flush() if we stick to the naming convention strictly?
Moriyoshi "Wez Furlong" <[EMAIL PROTECTED]> wrote: > headers_flush() or flush_headers() ? > > --Wez. > > ----- Original Message ----- > From: "Derick Rethans" <[EMAIL PROTECTED]> > To: "Andi Gutmans" <[EMAIL PROTECTED]> > Cc: "Sebastian Bergmann" <[EMAIL PROTECTED]>; <[EMAIL PROTECTED]>; > "Matthias Lange" <[EMAIL PROTECTED]> > Sent: Monday, July 07, 2003 9:39 AM > Subject: Re: [PHP-DEV] [patch] send_headers > > > > On Mon, 7 Jul 2003, Andi Gutmans wrote: > > > > > Naming conventions... > > > It should be something like headers_were_sent() (I'm not good with names > > > but you get the point :) > > > > headers_were_sent() doesn't work, as this function also sends the > > headers if they weren't sent before, so I think headers_send() or > > similar would work just fine. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
