Ingrese el carnet";
echo "Volver";
exit;
}
if(!file_exists("docentes.txt")){
echo "No hay docentes registrados
";
exit;
}
$encontrado = false;
$lineas = file("docentes.txt");
for($i=0; $i= 2 && trim($reg[0]) == $carnet){
$encontrado = true;
$idx = $i;
break;
}
}
}
if(!$encontrado){
echo "Docente con carnet $carnet no encontrado
";
echo "Volver";
exit;
}
?>
MODIFICAR DOCENTE - Carnet: