In pratica, come dovrei integrare questo script?
Codice PHP:
<?php
session_start
();
if (isset(
$_POST["invio"])) {
  
$puntatore fopen("testi/pasx.txt""r");
  
$trovato 0;
  while ((!
feof($puntatore)) && (!$trovato)) {
    
$linea fgets($puntatore);
    
$trovato stristr($linea$_POST["userid"]);
    
$puntatore++;
  }
  
fclose($puntatore);
  list(
$nomeutente$password) = split("~:~"$linea);
  if ((
$trovato)  && ($_POST["passwd"] == trim($password))) {
    
session_register('autorizzato');
    
$_SESSION["autorizzato"] = 1;
    
$destinazione "inizia.php";
  } else {
    
$destinazione "destroy.php";
  }
  echo 
'<script language=javascript>document.location.href="'.$destinazione.'"</script>';
} else {
  
// HTML ?>
........................
........................
Scusa per l'ignoranza