Dodawanie liczby do pliku tekstowego

Witam!

Dawno nie robiłem operacji na plikach, chciałbym do pliku dodać liczbę 15.

Napisałem taki skrypt:

<?php

	$file=fopen("jackpot.txt", "w+");

	$readfile=fread($file,256);

	flock($file,LOCK_EX);

	$newfile=$readfile+15;

	fputs($file,$newfile);

	flock($file,LOCK_UN);

	fclose($file);

?>

Niestety kiedy skrypt zostanie wykonany dodaje do pliku 15, lecz kiedy wykonam go jeszcze raz w pliku nie zmienia się liczba na 30. Jak to naprawić?

Z góry dziękuje i pozdrawiam!

Zainteresuj się tym:

http://pl.php.net/file_get_contents

http://pl.php.net/manual/pl/function.fi … ntents.php

Po odczytaniu nie wiem czy nie musisz tego rzucić na int.

Znam to, lecz myślałem że użyję tego w ostateczności.

<?php

	$file1=fopen("jackpot.txt", "w");

	$file2="jackpot.txt";

	$readfile=file_get_contents($file2);

	$newfile=$readfile+15;

	fputs($file1,$newfile);

	fclose($file1);

?>

Niestety, nadal nie działa.

a spróbuj tak:

$readfile=int(file_get_contents($file2));