Prueba con
in_array() y
fwrite()
Código PHP:
Ver original$id = $_POST["id_emp"];
// Obtienes un array del archivo linea por linea.
$empleados = file("Empleados.txt"); // Abres el archivo para escritura
$fp = fopen("Empleados.txt", "w"); foreach($empleados as $val){
// Conviertes cada elemento a su vez en un array
// Si el id no está en el array escribes la línea en el archivo
}
}