altra domanda: ho scritto questa cosa:

codice:
<?php
if(!$procedi){ ?>
  <script LANGUAGE=JavaScript type="text/javascript">
  window.alert('Non sei autorizzato a visionare queste pagine');
 location.href=$_SERVER['HTTP_REFERER'];
  </script>
<?php
  exit;
}
?>
La finestra funziona correttamente, solo che l'exit non funziona. E' corretto come l'ho messo?