<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/session.setup.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'es',
  ),
  'this' => 
  array (
    0 => 'session.installation.php',
    1 => 'Instalaci&oacute;n',
    2 => 'Instalaci&oacute;n',
  ),
  'up' => 
  array (
    0 => 'session.setup.php',
    1 => 'Instalaci&oacute;n/Configuraci&oacute;n',
  ),
  'prev' => 
  array (
    0 => 'session.requirements.php',
    1 => 'Requerimientos',
  ),
  'next' => 
  array (
    0 => 'session.configuration.php',
    1 => 'Configuraci&oacute;n en tiempo de ejecuci&oacute;n',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'es',
    'path' => 'reference/session/configure.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="session.installation" class="section">
 <h2 class="title">Instalación</h2>
 <p class="para">
  Esta extensión está activada por omisión. Puede ser desactivada utilizando la opción de configuración: 
  <strong class="option configure">--disable-session</strong>
 </p>
 <p class="para">
  Para utilizar la asignación de memoria compartida (mm) para el almacenamiento de las sesiones, configure PHP
  <strong class="option configure">--with-mm[=DIR]</strong>.
 </p>
 <p class="simpara">La versión Windows de PHP
dispone del soporte automático de esta extensión. No es necesario
añadir ninguna biblioteca adicional para disponer de estas funciones.</p>
 <blockquote class="note"><p><strong class="note">Nota</strong>: 
  <p class="para">
   Por omisión, todos los datos relativos a una sesión particular serán
   almacenados en un fichero del directorio especificado por <strong class="option unknown">session.save_path</strong>
   en las opciones del archivo <var class="filename">php.ini</var>. Un fichero para cada sesión será creado.
   Esto se debe a que una sesión es abierta (un fichero es creado) pero
   ningún dato es escrito en este fichero.
   Tenga en cuenta que este comportamiento es un efecto de las limitaciones de uso
   del sistema de ficheros y es posible que un gestor de sesiones personalizado (por ejemplo, uno que utilice una base de datos)
   no guarde ningún registro de las sesiones donde ningún dato haya sido almacenado.
  </p>
 </p></blockquote>
</div><?php manual_footer($setup); ?>