(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
sourcechedestpotrebbero essere URL se "fopen wrappers" è stato abilitato. Vedere fopen() per ulteriori dettagli. Se il parametrodestpunta 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.