PHP - Rimuovi l'ultimo carattere del file

Question

Ho un piccolo script php che rimuove l'ultimo carattere di un file.

$contents = file_get_contents($path); 
rtrim($contents); 
$contents = substr($contents, 0, -1); 
$fh = fopen($path, 'w') or die("can't open file"); 
fwrite($fh, $contents); 
fclose($fh);  

Così si legge nel contenuto del file, le strisce fuori l'ultimo carattere e quindi tronca il file e scrive la stringa di nuovo esso. Tutto funziona bene.

La mia preoccupazione è che questo file possa contenere molti dati e la chiamata file_get_contents() conserverebbe tutti questi dati in memoria che potrebbero potenzialmente esaurire la memoria del mio server.

Esiste un modo più efficiente per eliminare l'ultimo carattere da un file?

Grazie

Answer 1

provare questo

$fh = fopen($path, 'r+') or die("can't open file"); 

$stat = fstat($fh); 
ftruncate($fh, $stat['size']-1); 
fclose($fh); 

Per maggiori spiegazioni, vedi this