<?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.requirements.php',
    1 => 'Requerimientos',
    2 => 'Requerimientos',
  ),
  'up' => 
  array (
    0 => 'session.setup.php',
    1 => 'Instalaci&oacute;n/Configuraci&oacute;n',
  ),
  'prev' => 
  array (
    0 => 'session.setup.php',
    1 => 'Instalaci&oacute;n/Configuraci&oacute;n',
  ),
  'next' => 
  array (
    0 => 'session.installation.php',
    1 => 'Instalaci&oacute;n',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'es',
    'path' => 'reference/session/setup.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="session.requirements" class="section">
  <h2 class="title">Requerimientos</h2>
  <p class="para">No se requiere ninguna biblioteca externa para compilar esta extensión.</p>
  <blockquote class="note"><p><strong class="note">Nota</strong>: 
   <p class="para">
    Opcionalmente, puede utilizarse la asignación de memoria compartida
    (mm), desarrollada por Ralf S.Engelschall, para almacenar las sesiones.
    Es necesario descargar <a href="http://www.ossp.org/pkg/lib/mm/" class="link external">&raquo;&nbsp;mm</a> e instalarlo.
    Esta opción no está disponible para los entornos Windows.
    Tenga en cuenta que el módulo de almacenamiento de sesiones mm no garantiza
    los bloqueos de sesiones en caso de acceso múltiple a la misma sesión.
    Puede ser más adecuado utilizar un sistema de archivos basado en memoria compartida
    (como tmpfs en Solaris/Linux o <var class="filename">/dev/md</var> en BSD)
    para almacenar las sesiones en archivos, ya que estos serán bloqueados correctamente.
    Los datos de sesión se almacenan en memoria, por lo que serán borrados
    al reiniciar el servidor web.
   </p>
  </p></blockquote>
 </div><?php manual_footer($setup); ?>