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

  $lineas = file("estudiantes.txt");
  $reg = explode("|",$lineas[$idx]);

  // Guardar foto nueva si se subio
  $rutaFoto = trim($reg[3]);
  if(isset($_FILES["foto"]) && $_FILES["foto"]["error"] == 0){
    $permitidos = array("image/jpeg","image/png","image/gif","image/webp");
    if(in_array($_FILES["foto"]["type"], $permitidos) && $_FILES["foto"]["size"] <= 5*1024*1024){
      $nombreFoto = $carnet . "_" . time() . "." . pathinfo($_FILES["foto"]["name"], PATHINFO_EXTENSION);
      move_uploaded_file($_FILES["foto"]["tmp_name"], "fotos/" . $nombreFoto);
      $rutaFoto = "fotos/" . $nombreFoto;
    }
  }

  $nuevaLinea = $carnet."|".$nombre."|".$curso."|".$rutaFoto;
  $lineas[$idx] = $nuevaLinea."\n";

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

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