------ =_NextPart_000_01BB61E6.ECB46BC0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
But in the absense of such a method (which really should
allow you to set any request header you wish) it is still
possible to do. Plus, depending upon the complexity of
what you wish to do with the file, it's really not a lot of
work.
>----------
>From: jln@otdc.com[SMTP:jln@otdc.com]
>Sent: Monday, June 24, 1996 3:28 AM
>To: robots@webcrawler.com
>Subject: RE: Java Robot
>
>Isn't this reinventing the Java URL class? Wouldn't it be better if a
>method were added to the Java URL class to allow the user to set that field
>if they wish, and, to set the default to what it is now?
>-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-
>Joe Nieten jln@otdc.com
>President & CEO Office & FAX: (713) 610-9251
>Object Technology Developer's Consortium
>... Developers of ObjectCoder(tm)
>
>
------ =_NextPart_000_01BB61E6.ECB46BC0--