Use txp_die for redirections.

Uses HTTP status 302 instead of 303.