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
