Rendere leggibile variabile contenuta in file di testo

[IMMANUEL_KANT]

Che il problema sia nel fatto che la "variabile" è in un file di testo?

Con questa forma autentico tramite sessione

<?php
if (isset($invio)) {
  $puntatore = fopen("testi/pasx.txt", r);

  $trovato = 0;
  while ((!feof($puntatore)) && (!$trovato)) {
    $linea = fgets($puntatore, 50);
    $trovato = stristr($linea, $userid);
    $puntatore++;
  }
  fclose($puntatore);
  global $cognome;
  list($cognome, $nome, $nomeutente, $password) = split(";", $linea);
  $password = trim($password);
  if (($trovato)  && ($passwd == $password) ) {
    session_register('autorized');
    $autorized = 1;
     echo "
<script language=\"JavaScript\">
<!--
document.location.href =\"formdocenti.php"
//-->
</script>
";
  } else {
    echo "
    <script language=\"JavaScript\">
    <!--
      document.location.href = \"destroy.php\"
    //-->
    </script>
  ";
  }


} else {

// HTML ?>
<table width="428" border="0" cellpadding="0" cellspacing="0" >
  <tr>
    <td>
      <form method="post" action="formdocenti.php" class="tah11">



            <table width="300"  cellpadding="4" cellspacing="1" align="center">
          <tr>
            <td colspan="2" class="tah11">
              nome utente: 
            </td>
            <td>
              <input type="text" name="userid" >
            </td>
          </tr>
          <tr>
            <td colspan="2" class="tah11">
              password: 
            </td>
            <td >
              <input type="password" name="passwd">
            </td>
         </tr>
         <tr>
            <td colspan="2">
              <input type="submit" name="invio" value="invio" class="pulsanti">
            </td>
            <td><input type="reset" name="cancella" value="cancella" class="pulsanti"></td>
         </tr>
       </table>
        

     </form>
   </td>
  </tr>
</table>
    
  </tr> 

<? //fine HTML
}
?>

Il file di testo su cui viene effettuato il controllo contiene
pippo;paperino;rosa;rosa01

tutto va bene e vengo reindirizzato ad una pagina dove vorrei che fosse visualizzato Benvenuto "pippo".

Però non riesco a passare la variabile. In GET non la vedo nell'url.