Ciao a tutti,
ho la necessità di calcolare la dimensione di un file situato su un server diverso dal quale gira lo script.
Dato che filesize funziona solo con file sullo stesso server ho provato con una cosa del genere:
$path = "http://nomehost.ltd/public/file.avi";
$ary_header = get_headers($path, 1);
Il problema è che a volte funziona, ma spesso restituisce un errore del genere:
Warning: get_headers() php_network_getaddresses: getaddrinfo failed.
Qualcuno sa quale può essere il problema, visto che l'errore non lo da tutte le volte.
O ancora meglio se esiste una funzione diversa per ricavare la dimensione di un file situato su un server esterno?
Grazie
ho la necessità di calcolare la dimensione di un file situato su un server diverso dal quale gira lo script.
Dato che filesize funziona solo con file sullo stesso server ho provato con una cosa del genere:
$path = "http://nomehost.ltd/public/file.avi";
$ary_header = get_headers($path, 1);
Il problema è che a volte funziona, ma spesso restituisce un errore del genere:
Warning: get_headers() php_network_getaddresses: getaddrinfo failed.
Qualcuno sa quale può essere il problema, visto che l'errore non lo da tutte le volte.
O ancora meglio se esiste una funzione diversa per ricavare la dimensione di un file situato su un server esterno?
Grazie