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', 'ajax.php');
conexion.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
conexion.send(postValue); //Las variables a mandar, en este caso POST
}
function ajaxresponse(){
if(conexion.readyState == 4){ //Esto es para que cambie cuando haya respuesta, que no es en todos los momentos
document.getElementById('ajaxPut').innerHTML = conexion.responseText; //Pondra todo lo devuelto por "file" (Que sera un php que de //echos dependiendo de lo enviado) en un div
}
reHightlight();
}
function reHightlight(){
var codebox = document.getElementsByClassName("codeto");
for(var i=0;i