PHP headers already sent

[AlphaLaser]

Sometimes the page header and footer is output twice if error_page() is called after page_head() was already called previously. This also results in a benign "headers already sent" error from PHP, since the default page_head() sends Content-Type headers. The problem can be seen in this page:

​http://setiathome.berkeley.edu/forum_forum.php?id=10&start=10450

Apparently a foreign key inconsistency is causing it. Something that stops execution of page_head() and page_tail_aux() more than once could fix it (in the same fashion as HEADER_H defines in C), though I'd imagine that an existing project that's implementing their own versions these functions would have to fix it themselves, and it might be too trivial to bother.

[AlphaLaser]

In case the example link changes, this is the copy of the HTML output

[Christian Beer]

Closed because of age of Bug. I consider this fixed in the meantime.