<?php
  $carnet = $_POST["carnet"];

  if(!file_exists("estudiantes.txt")){
    echo "<p>No hay estudiantes registrados</p>";
    exit;
  }

  $temporal = "estudiantes_temporal.txt";
  $recurso = fopen("estudiantes.txt","r");
  $recurso_tmp = fopen($temporal,"w");
  $encontrado = false;
  while(!feof($recurso)){
    $linea = fgets($recurso);
    $reg = explode("|",$linea);
    if(count($reg) >= 3 && trim($reg[0]) == $carnet){
      echo "Estudiante $carnet (".$reg[1].") eliminado<br>";
      $encontrado = true;
    } else {
      fwrite($recurso_tmp,$linea);
    }
  }
  fclose($recurso_tmp);
  fclose($recurso);

  if(!$encontrado){
    echo "<p style='color:red'>Estudiante con carnet $carnet no encontrado</p>";
    unlink($temporal);
  } else {
    unlink("estudiantes.txt");
    rename($temporal,"estudiantes.txt");
  }

  echo "<a href='formEliminarEstudiante.php'>Eliminar otro</a>";
?>
