Necesito diferenciar estos dos casos ya que se trata de un archivo compartido en el servidor por varios usuarios y cuando un usuario se lo descarga es para modificarlo/actualizarlo y tengo que informar al resto de usuarios de que otro usuario lo tiene en posesion en ese momento actualizandolo.
Espero vuestra ayuda. Muchas gracias
Código PHP:
$f = "archivo.txt" //Archivo a descargar
$dir= "archivos/"; //Directorio
$path = $dir.$f;
header("Content-Type: application/octet-stream");
header("Content-Length: ".filesize($path));
header("Content-Disposition: attachment; filename=".$f."\n");
readfile($path);
if(Si se ha completado la descarga correctamente)
{
.........
}
else //Se ha cancelado la descarga o ha fallado la transmision de datos
{
...............
}