Cambiar los headers desde un servlet

Amazing_becarios
04 de Junio del 2003
Buenas a todos!

Por aquí tenemos un problema algo surrealista... Desde un servlet enviamos un formulario a otro servlet que lo procesa, generalmente sin ningún problema. Desgraciadamente, una de cada cinco veces los datos del post se "pierden" por el camino (esas sorpresitas del TCP/IP, imaginamos) y el segundo servlet arranca sin haber recibido los datos del formulario, con lo que no funciona bien.

Intentamos toquetear los HTTP headers (más que nada por probar algo), pero no sabemos muy bien cómo! En el primer servlet probamos metiendo, antes de cerrar la generación HTML, la línea:

response.setHeader("Nombre_header","valor_header");

Pero cuando comprobamos si el valor de los headers ha cambiado... Nada. Ignora los setHeader como si fueran transparentes.

En fin, sabemos que es una duda un tanto paranoica, pero agradeceríamos cualquier indicación al respecto.

Gracias!!!