capito...bo prova un attimo con r+ al posto di a+
dove c'è scritto
$p_file=fopen("provafile.txt","a+");

poi vediamo se continua a non funzionare