Re: HTTP HEAD request
Sat, 8 Apr 95 17:36:45 PDT

It is true that the HEAD and BODY tags need not be entered in a
valid HTML document. If you parsed the doc as SGML, these tags
would be supplied by the parser (so in one sense they're required
in the parser output). But you needn't parse to find the end of the HEAD;
as suggested, look for the first non-HEAD element. There's a complete
disjunction between what may appear in HEAD and what may appear in
BODY, so when you hit the first non-HEAD tag you must be in the BODY.

(Now from the SGML point of view, an empty string satisfies the 2.0
DTD; I don't know what you should do in that case ...)


 Terry Allen   (