On Fri, 2 Feb 2001, Richard Seymour wrote:

> indexing process. Is there an environment variable I can check in my JSP
> code, and determine that it is htdig (or another robot)? If so, I can
> avoid tacking on the sessionid stuff altogether.

HTTP_USER_AGENT should most likely be set by the server. Since you can
change this using the user_agent config attribute, I suspect you can come
up with something appropriate. ;-)

Cheers,
--
-Geoff Hutchison
Williams Students Online
http://wso.williams.edu/


_______________________________________________
htdig-general mailing list
[EMAIL PROTECTED]
http://lists.sourceforge.net/lists/listinfo/htdig-general

Reply via email to