Ce face disk_free_space
disk_free_space spune cât spațiu liber este pe discul (partiția) care conține directorul dat. Rezultatul este un număr float, pentru că discurile mari depășesc limita numerelor întregi pe sistemele pe 32 de biți.
Este util înainte de un backup sau de un export mare. Există și aliasul diskfreespace, care face același lucru.
Parametri
| Parametru | Descriere |
|---|---|
$directory |
Un director de pe discul verificat. |
Ce returnează
Numărul de octeți liberi sau false la eroare.
Exemple
Exemplul 1: Spațiul liber în GB
<?php
$liber = disk_free_space("/var/www");
echo round($liber / 1024 ** 3, 1) . " GB liberi";
Rezultat posibil (depinde de server)
37.4 GB liberi
Exemplul 2: Verificare înainte de backup
<?php
$necesar = 2 * 1024 ** 3;
if (disk_free_space("/backup") < $necesar) {
exit("Spațiu insuficient pentru backup.");
}
echo "Pornesc backup-ul";
Rezultat posibil (depinde de server)
Pornesc backup-ul
Greșeli frecvente
- Dai calea unui fișier în loc de director. Funcția are nevoie de un director.
Comenzi înrudite
disk_total_space: Returnează dimensiunea totală, în octeți, a discului pe care se află un director.filesize: Returnează dimensiunea unui fișier, în octeți.