se supone que creas un objeto xajaxResponse al inicio de la funcion y con ese objeto llamas la función que te dije.
Código PHP:
function procesar_formulario($formulario){
$respuesta = new xajaxResponse(); //objeto xajax
.
..
.. //tus procesos
..
..
..
$respuesta->addRedirect("conf_alta_barco.php");
return $respuesta;
}
así debería funcionar.
avisa si te resulta.
Adios