scrip php che genera pagina html

[mizar66]

Dovrei interrompere la creazione di una pagina html generata da uno script php nel caso all'interno della cartella ci fosse un file con il solito nome. Il nome del file è dato dalle indicazioni che un utente inserisce nel form, quindi qualche probabilità ci può essere, ma se ci fosse il sistema di non sovrascrivere il file sarebbe fantastico. Ecco un frammento di codice che genera la pagina html:

$file = "$cliente-$riferimento.html";
$connect = @fopen($file, "a");
fputs($connect, $html, "4096");
fclose($connect);
?>

non consigliatemi di aggiungere un generatore di numeri random o progressivi sul file perchè dopo ho problemi di altro genere (già provato).

L'unica mia soluzione è che si interrompa la creazione della pagina html restituendo a video un errore all'utente di cambiare i dati sul form.
spero di essere stato chiaro, soprattutto spero sulla Vostra disponibilità.
grazie.

[filippo.toso]

Ti suggerisco di iniziare leggendo il manuale ufficiale:

http://www.php.net/file_exists

In ogni caso, sarei curioso di sapere quali problemi hai incontrato con l'utilizzo di numeri random, etc.

[DragonOfLight]

Prima di fare "$connect = @fopen($file, "a");" puoi verificare se il file esiste già e nel caso mostrare il messaggio di errore ed interrompi lo script.

if (file_exists("$cliente-$riferimento.html")){
    //Mostra errore
    echo "Il file esiste già";
}else{
    $file = "$cliente-$riferimento.html";
    $connect = @fopen($file, "a");
    fputs($connect, $html, "4096");
    fclose($connect);
} 

[mizar66]

grazie Dragon, avevo già provato con

if (file_exists("$cliente-$riferimento.html")){
//Mostra errore
echo "Il file esiste già";
}else{
$file = "$cliente-$riferimento.html";
$connect = @fopen($file, "a");
fputs($connect, $html, "4096");
fclose($connect);
}

ma lo sovrascrive ugalmente, (molto strano). ci sarà qualche altro tipo di errore ma lo script è molto semplice non saprei. Avete altre risorse? avevo gia guardato il manuale consgliato da Filippo ma forse mi sfugge qualcosa.

[mizar66]

problema risolto.
Ho escluso il redirect e tutto ok.
header("location: index.php");

Grazie a tutti

[*pragma]

Originariamente inviato da mizar66
grazie Dragon, avevo già provato con

if (file_exists("$cliente-$riferimento.html")){
//Mostra errore
echo "Il file esiste già";
}else{
$file = "$cliente-$riferimento.html";
$connect = @fopen($file, "a");
fputs($connect, $html, "4096");
fclose($connect);
}

ma lo sovrascrive ugalmente, (molto strano). ci sarà qualche altro tipo di errore ma lo script è molto semplice non saprei. Avete altre risorse? avevo gia guardato il manuale consgliato da Filippo ma forse mi sfugge qualcosa.

if (file_exists("$cliente-$riferimento.html")){
//Mostra errore
echo "Il file esiste già";
header("location: index.php");
exit();
}else{
$file = "$cliente-$riferimento.html";
$connect = @fopen($file, "a");
fputs($connect, $html, "4096");
fclose($connect);
}