function doAjax(postValue) {
//document.getElementById('ajaxPut').innerHTML = "
";
// Obtener la instancia del objeto XMLHttpRequest (ajax)
conexion = new XMLHttpRequest();
// Preparar la funcion de respuesta
conexion.onreadystatechange = ajaxresponse; //Cuando el ajax sea procesado y suceda algo, se ejecuta esta funcion
// Realizar peticion HTTP
conexion.open('POST', '/');
conexion.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
conexion.send(postValue); //Las variables a mandar, en este caso POST
}
newFilter=false;
function ajaxresponse(){
if(conexion.readyState == 4){ //Esto es para que cambie cuando haya respuesta, que no es en todos los momentos
o++;
var ajaxPut = document.getElementById('ajaxPut');
if(newFilter){
newFilter=false;
ajaxPut.innerHTML = conexion.responseText; //Pondra todo lo devuelto por "file" (Que sera un php que de //echos dependiendo de lo enviado) en un div
}else{
if($("#end").length == 0)
ajaxPut.innerHTML = ajaxPut.innerHTML+conexion.responseText;
}
}
reHightlight();
}
function reHightlight(){
var codebox = document.getElementsByClassName("toHightlight");
for(var i=0;i