Improved handling of internal redirects. May fix [bug 1272 (#1272)]. Rev: server/modules/filters/redirect.pike:1.32 Rev: server/protocols/http.pike:1.352