(PHP 4, PHP 5)
copy — Copia un file
$source
, string $dest
)
Copia il file source
in
dest
. Restituisce TRUE
in caso di successo, FALSE
in caso di fallimento.
Example #1 copy() example
<?php
$file = 'example.txt';
$newfile = 'example.txt.bak';
$file = 'example.txt';
$newfile = 'example.txt.bak';
if (!copy($file, $newfile)) {
echo "Copia di $file non riuscita ...\n";
}
?>
Nota:
Come da PHP 4.3.0, sia
source
chedest
potrebbero essere URL se "fopen wrappers" è stato abilitato. Vedere fopen() per ulteriori dettagli. Se il parametrodest
punta ad un URL, l'operazione di copia potrebbe fallire se il wrapper non supporta la sovrascrittura di file esistenti.
Se il file di destinazione già esiste, esso verrà sovrascritto.
Nota:
Nota di compatibilità con Windows: se viene copiato un file vuoto, copy() restituisce falso, ma il file sarà copiato correttamente.
Vedere anche move_uploaded_file(), rename(), e la sezione del manuale riguardo handling file uploads.