allora, ho messo assieme i vostri suggerimenti e script.. ne è uscito fuori questo:
codice:
$fileName = $files.".txt";
$records = file($fileName);
$records = trim($records[0]);
$dati = explode("&", $records);
$numero = count($dati);
for($x = 0; $x < $numero; ++$x){
$dati[$x] = trim($dati[$x]);
$_dati = explode("=", $dati[$x]);
if ($_dati[0]==$settore) {
$_dato = $_dati[1];
}
}
$handle = fopen($fileName, "r");
$vecchioContenuto = fread($handle, filesize($fileName));
fclose($handle);
$numero = $_dato+1;
$nuovoContenuto = preg_replace('/'.$settore.'=\d+/', $settore.'='.$numero, $vecchioContenuto);
$handle = fopen($fileName, "w");
fwrite($handle, $nuovoContenuto);
fclose($handle);
Ciao a tutti e grazie
dies