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

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

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

  if(!$encontrado){
    echo "<p style='color:red'>Docente con carnet $carnet no encontrado</p>";
    unlink($temporal);
  } else {
    unlink("docentes.txt");
    rename($temporal,"docentes.txt");
    // También eliminar sus asignaciones en materias.txt
    if(file_exists("materias.txt")){
      $temp2 = "materias_temporal.txt";
      $f1 = fopen("materias.txt","r");
      $f2 = fopen($temp2,"w");
      while(!feof($f1)){
        $linea = fgets($f1);
        $reg = explode("|",$linea);
        if(count($reg) >= 3 && trim($reg[2]) != $carnet){
          fwrite($f2,$linea);
        }
      }
      fclose($f1);
      fclose($f2);
      unlink("materias.txt");
      rename($temp2,"materias.txt");
    }
  }

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