[htdig-dev] cannot search sites other than port 80

[Stephan H. <be...@be...>]

Hi developers,

when i give a start_url with port 8080 (tomcat) and the webapp's servlet 
sends a redirect, htdig does not get any further. The reason seems to be that 
htdig does not include the port in the Host header of the first HTTP-Request.
Example:

the start_url is http://localhost:8080/mywebapp/myservlet/

htdig sends this request:

GET /robots.txt HTTP/1.0
User-Agent: htdig/3.1.5 (myemail)
Host: localhost

i think, Host should be localhost:8080 instead. At least mozilla does this.

Now if the servlet sends a redirect, it does send it without the port what 
leads to a wrong redirect.

Can anybody confirm this behavior?

Bye,
Stephan