Re: gnatsweb/399

[yngves]

Synopsis: gerror() doesn't call page_footer() or page_end_html()

State-Changed-From-To: analyzed->feedback
State-Changed-By: yngves
State-Changed-When: Thu, 31 Oct 2002 17:24:15 -0500
State-Changed-Why:
Actually, this is rather complicated, since gerror is being 
called in a whole range of situations. This should be 
cleaned up at some point. As a quick fix, I have added 
calls to page_footer and page_end_html where they are 
needed, with the reason 'Error'.