Tengo esta sintaxis, la cual se ejecuta bien,
Código PHP:
   
<?php
$tipo_p=inputSeguro($_POST['tipo_p']);
  if($tipo_p==0){
        echo "<script>alert('Seleccione El tipo de Personal .'); window.location.href=\"index.php\"</script>";
            session_destroy();
}
?>     
 



 
 

