Debería ser:
Código Javascript
:
Ver original/* ... */
ajax.open("POST", "../ajax/select_articulo_ajax.php", false);
ajax.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
ajax.send("codigo=" + art);
var respuesta = ajax.responseXML;
var articulo = respuesta.getElementsByTagName("codigo")[0].childNodes[0].data;
if(articulo =="")
{
return false;
}
return respuesta;
No tiene sentido agregar un listener a onreadystatechange si pretendes que la petición sea síncrona.