Re: HTTP HEAD request
Ian S. Graham ([email protected])
Fri, 7 Apr 1995 15:05:35 +0500
>
> >Currently, the server doesn't need to parse the document at all.
> >This would be the first such case. (systems with server-side includes
> >already do some parsing, though).
>
> True, but the parse is pretty easy, and it can stop when it reaches
> <BODY>. This type of request would not be used very often, only
> for indexing tools, existence checks, robots, etc.
>
> >What should it do for a document without a HEAD?
>
> This could happen for non-html fetches, of course.
> It should return an error - my first impulse, not having thought
> about it much.
>
> Similarly, I guess it should return an error if it got EOF before
> </HEAD>. Either that, or it might be probably easier to just send
> the whole document part after <HEAD> til EOF, assuming it is scanning
> for <HEAD>, then just outputing chars until </HEAD>.
>
The HEAD and BODY tags are *not* mandatory under the current draft of
the HTML 3.0 RFC. This makes the parsing somewhat more difficult --
I suppose you could parse until you find the first non-HEAD element,
assuming that all documents have the elements in the correct order....
I believe the RFC should make the HEAD and BODY tags mandatory. It's
not such a big deal, and makes enforcement of good document structure
a lot easier.
Ian
--
Ian Graham .................................. [email protected]
Instructional and Research Computing
University of Toronto