Tieni presente che a me serve prendere tutto il file e aggiornare file.txt in questo modo:
Codice PHP:
file_put_contents("percorso_server", $database);
Quindi la tua soluzione non funziona.
EDIT:
Ops, avevi ragione. Funziona perfettamente grazie 1000!