<?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 => 'it',
  ),
  'this' => 
  array (
    0 => 'session.installation.php',
    1 => 'Installazione',
    2 => 'Installazione',
  ),
  'up' => 
  array (
    0 => 'session.setup.php',
    1 => 'Installazione/Configurazione',
  ),
  'prev' => 
  array (
    0 => 'session.requirements.php',
    1 => 'Requisiti',
  ),
  'next' => 
  array (
    0 => 'session.configuration.php',
    1 => 'Configurazione di Runtime',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'en',
    '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">Installazione</h2>
 <p class="para">
  Questa estensione è abilitata di default. Può essere disattivata utilizzando la seguente opzione al momento della compilazione: 
  <strong class="option configure">--disable-session</strong>
 </p>
 <p class="para">
  To use shared memory allocation (mm) for session storage configure PHP
  <strong class="option configure">--with-mm[=DIR]</strong>.
 </p>
 <p class="simpara"> La versione per Windows di PHP
ha già compilato il supporto per questo modulo. Non occorre caricare alcun modulo
addizionale per potere utilizzare queste funzioni.</p>
 <blockquote class="note"><p><strong class="note">Nota</strong>: 
  <p class="para">
   By default, all data related to a particular session will be stored in
   a file in the directory specified by the session.save_path INI option.
   A file for each session (regardless of if any data is associated with
   that session) will be created. This is due to the fact that a session
   is opened (a file is created) but no data is even written to that file.
   Note that this behavior is a side-effect of the limitations of working
   with the file system and it is possible that a custom session handler
   (such as one which uses a database) does not keep track of sessions
   which store no data. 
  </p>
 </p></blockquote> 
</div><?php manual_footer($setup); ?>