[SOLUCIONADO] variable global $SESSION[] de session_start() y no pasa de un php a otro

[bucanero72]

Hola, en validacion.php tengo esto:

Código PHP:

...
if(mysql_result($peticion,0))
{               
    /* inicio de sesión, control del usuario que inicia la sesión */
        session_start(); 
    if (!isset($_SESSION["usuario_activo"]))
        { 
           $_SESSION["usuario_activo"] = $usuario; 
    }        
        /* lanzar página de introducción de datos */
    echo '<script>location="introdatos.php";</script>';                 
}
 

y en introdatos.php esto otro:

Código PHP:

...
<script>        
    var user_activo = <?php echo '$_SESSION["usuario_activo"]';?>;      
    $('#pie').html = user_activo;
        ...
</script>
 

Pretendo poner en el div id=pie de introdatos.php el nombre del usuario que inició la sesión.
El usuario está en una tabla de una base de datos de mySQL.

Me da el siguiente error:
Undefined variable: _SESSION in C:\WebServer\...\introdatos.php on line 3 (el número de línea está cambiado para que esté más claro aquí)

Entiendo que, pese a ser una variable global de php, $SESSION no pasa a introdatos.php y por eso no la puedo usar en javascript.

Tengo dos dudas diferentes: ¿Por qué no se pasa la variable $SESSION, si es global? Y, ¿Es correcta la forma de asignar la variable php a una variable javascript?

Gracias.

[repara2]

El array SESSION sólo estará disponible una vez que se llame a session_start();
Tienes que invocar la función en cada script donde quieras leer las variables de session.
Salu2

[bucanero72]

Muchas gracias por tu rápida respuesta, al final esa era la solución, pero poniendo session_star() AL PRINCIPIO del script php. Es decir así:

<?php
session_start()

... código php
?>

<script>
var variable_javascript ="<?php echo $_SESSION['variable_php']; ?>" //asignar el valor de una variable php a una variable javascript

... código javascript
</script>


Gracias y saludos.