Parar proceso

[erfedecai]

Buenas, tengo un problemilla. La cuestion es que quiero, cuando se cumpla cierta condicion, que se pare un proceso que se esta ejecutando y salga de la pagina php. Os pongo un ejemplo sencillo:

$conexion=odbc_connect("BDInstituto","","","");
$rs=odbc_exec($conexion, "select *from Alumnos");

while (odbc_fetch_row($rs)){
$compo = odbc_result($rs,"IdAlumno");
$compo2=odbc_result($rs,"LoginAlumno");
if (($IdAlumno == $compo) or ($LoginAlumno == $compo2)){
odbc_close_all();
header ("Location: http://www.google.com");
}
}

Como veis cierro la base de datos y lanzo otra pagina web. Pero aunque haga eso se sigue ejecutando lo que este por abajo y me fastidia el tema. Como podria parar el proceso?

Muchas gracias a todos!!

[Cluster]

Con exit; terminas el script (su ejecución). Usalo despues de header() ..

Un saludo,

[erfedecai]

Gracias por responder. No me acordaba de cual era la sentencia, tengo la cabeza en Pakistan. Enga, muchas gracias