sesiones

[Cluster]

Usa exit; despues de una llamada a header("location: ....");

Y acuerdate que $usuarios_sesion es el nombre de la sesión en curso .. ese dato se coje del aut_config.inc.php y ademas deberías darle el nombre a la sesion que estas usando via:

<?
session_name($usuarios_sesion);
session_start();

//resto de tu código ..
?>

Y no darle el nombre con session_start() .. pues ahí si le idicas algun valor sería el SID de la sesión y no el nombre q se define con la otra función que puse.

Un saludo ...