Se agrega el session_start() para que funcionen las sesiones.

diff --git a/src/lib/pagina.php b/src/lib/pagina.php
index 946ca87c00d8034ce1927d3e1707d81432acb2be..2427a76f75cd0086aefcdc61b0092d8655d5570b 100644 (file)
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -8,6 +8,9 @@
 //
 // $Id$
 
+// Arranca la sesión
+session_start();
+
 function pagina_cabecera($titulo = '')
 {
 ?>