Y si cambias de lugar el setInterval y lo colocas dentro de pedir_xml(), entonces lo ejecutara 10 segundos despues de que modifiques el archivo, seria
Código Javascript
:
Ver originalfunction pedir_xml(){
//................
if(ajax.readyState == 4){
if(ajax.status == 200) {
//................
procesamiento = window.setInterval(MostrarNombres, 10000);
}
}
}
funcionaria?