On 15/08/05, Thomas Koll <tomk32(a)gmx.de> wrote:
> no chance
> asking only the header from a existing page [http://
>
de.wikipedia.org/wiki/Hauptseite] delivers:
> HTTP/1.0 200 OK... and from a non existing Page i get HTTP/
> 1.0 200 OK...
Who said it would be easy?
I think the point is that it *should* be easy - easier on the
client-side than having to grep through XML, and easier on the server
side than having to generate that XML. So, yes, currently the best you
can do is grep .../Special:Export/Page_name, which is marginally
better than just grepping .../Page_name, but neither of these is
really optimal.
--
Rowan Collins BSc
[IMSoP]