Ayuda con Header's

[foreverOdd]

lo haces de una manera mas sucia:

Código PHP:

  
if($rsHora['hora_entrada_real']!=""){ ?>

   <script> 
          document.location.href= 'grabar_asistencia_docente_entrada.php?cod_docente="<?php echo $codigo_z; ?>"';
</script>                

<?php }
                else{
                la misma historia
}