У меня есть небольшой скрипт php, который удаляет последний символ файла.

$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);    

Таким образом, он считывает содержимое файла, удаляет последний символ, а затем обрезает файл и записывает строку обратно в него. Это все отлично работает.

Меня беспокоит то, что этот файл может содержать много данных, и тогда вызов file_get_contents () будет хранить все эти данные в памяти, которая потенциально может максимально использовать память моего сервера.

Есть ли более эффективный способ вырезать последний символ из файла?

Спасибо