Hi Yasuo,I don't think we should do anything about this beyond maybe warning the user in the manual. header() is a generic function for setting headers, it would be surprising if it had different behaviour for cookies or session cookies. It is possible that use of this function in this way may be deliberate.
Thanks. -- Andrea Faulds https://ajf.me/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
