Use the extended redirect API instead of making changes in the current id object Rev: server/modules/tags/rxmltags.pike:1.228