<?php
  $carnet = $_POST["carnet"];
  $idx = intval($_POST["idx"]);
  $nombre = $_POST["nombre"];

  $lineas = file("docentes.txt");
  $nuevaLinea = $carnet."|".$nombre;
  $lineas[$idx] = $nuevaLinea."\n";

  file_put_contents("docentes.txt", implode("",$lineas));

  echo "<h3 style='color:green'>Docente modificado exitosamente!</h3>";
  echo "<p><a href='buscarDocente.php' target='_parent'>Buscar</a> | <a href='formModificarDocente.php'>Modificar otro</a></p>";
?>
