Re: Java Robot

John D. Pritchard (jdp@cs.columbia.edu)
Mon, 24 Jun 1996 16:23:59 -0400

> 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?

yep.. java.net.URL is totally a client-side conception of URL so it should
be mutable for robots.

how about passing in a java.util.Properties object to a setHeaders(
Properties) method in URL?

how about subclassing Properties to define some name constants which
conform to header fields for robots and clients as applicable to user-level
programming?

is this a complete solution?

-john