¿Y por qué no usar header? siempre que no hayas hecho un echo o cualquier salida en tu php, puedes direccionar así:
Código PHP:
Ver originalif ($registros_totales>0){ //significa que hay registros, es decir, el formulario ha sido llenado.
//El script continua normalmente }
else { //significa que NO hay registros, es decir, el formulario NO ha sido llenado.
}
Y ni siquiera requiere de tener javascript.