Salve ragazzi, ho un problema e non riesco proprio a venirne fuori! E' la prima volta che utilizzo i file di testo come db e gia li odio

Devo realizzare due semplici pagine: una contenente una form da dove digitare il nick name collegata ad un'altra pagina che visualizza l'elenco dei nick name digitati e controlla se quello appena inserito esiste gia oppure no. Questi nick vengono memorizzati in un file .txt
Non riesco però nel mio intento, visto che il controllo non funziona e la lista dei nick inseriti non appare... ecco le due pagine, per favore aiutatemi!!

index.html
codice:
<html>
<head><title>LOGIN</title>
<body>



<center><h1>inserire dati</h1>



<form action="primo.php" method=POST>

Nome Utente: 
<input type="text" name="user">



<input type="submit" value="LOGIN">
</form>

</body>

</html>
primo.php
Codice PHP:
<html>
<head>
<title>:: Welcome ::</title>
</head>
<body>


<?PHP

$user = $_POST['user'];

echo "Sei loggato come: [b]".$user."[/b]!! 

";

$p_file=fopen("provafile.txt","a+");

$txt = $p_file;
$array = explode(":",trim($txt));


for($i=0; $i<=count($array); $i++)
{
array_push($p_file, $array[$i]);
echo $array[$i];

    if($array[$i]==$user)
    {
        //non scrive nulla: il nickname è gia esistente
        echo "Bentornato [b]".$user."[/b]!!

";
    }
    else
    {
        echo "Benvenuto al nuovo utente [b]".$user."[/b]!!

";
        fwrite($p_file, $user.":");
    }
    
}


?>
Lista utenti gia' entrati almeno una volta: 



<table border="1" width="8%">

<?PHP
$p_file=fopen("provafile.txt","a+");

$i=count($p_file);

for($a=0; $a<=$i; $a++)
{
                
    echo "<tr><td><center>".$p_file[$a]."
</center></td></tr>";
                                
}
echo "</table>";

?>

</body>
</html>
Grassie raga!! Sani