<?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 => 'fr',
  ),
  'this' => 
  array (
    0 => 'session.requirements.php',
    1 => 'Pr&eacute;-requis',
    2 => 'Pr&eacute;-requis',
  ),
  'up' => 
  array (
    0 => 'session.setup.php',
    1 => 'Installation/Configuration',
  ),
  'prev' => 
  array (
    0 => 'session.setup.php',
    1 => 'Installation/Configuration',
  ),
  'next' => 
  array (
    0 => 'session.installation.php',
    1 => 'Installation',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'fr',
    '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">Pré-requis</h2>
  <p class="para">Aucune bibliothèque externe n&#039;est nécessaire pour compiler cette extension.</p>
  <blockquote class="note"><p><strong class="note">Note</strong>: 
   <p class="para">
    Optionnellement, il est possible d&#039;utiliser l&#039;allocation de mémoire partagée
    (mm), développé par Ralf S.Engelschall, pour stocker la session.
    Il faut télécharger <a href="http://www.ossp.org/pkg/lib/mm/" class="link external">&raquo;&nbsp;mm</a> et l&#039;installer.
    Cette option n&#039;est pas disponible pour les environnements Windows.
    Il est à noter que le module de stockage de session mm ne garantit pas
    les verrous de sessions en cas d&#039;accès multiples à la même session.
    Il peut être plus approprié d&#039;utiliser un système de fichiers
    basé en mémoire partagée
    (comme tmpfs sur Solaris/Linux ou <var class="filename">/dev/md</var> sur BSD)
    pour stocker les sessions dans des fichiers, car ils seront proprement verrouillés.
    Les données de session sont stockées en mémoire ainsi, elles seront effacées
    lors du redémarrage du serveur web.
   </p>
  </p></blockquote>
 </div><?php manual_footer($setup); ?>