Source of: /manual/en/sem.configuration.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/sem.setup.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'en',
),
'this' =>
array (
0 => 'sem.configuration.php',
1 => 'Runtime Configuration',
),
'up' =>
array (
0 => 'sem.setup.php',
1 => 'Installing/Configuring',
),
'prev' =>
array (
0 => 'sem.installation.php',
1 => 'Installation',
),
'next' =>
array (
0 => 'sem.resources.php',
1 => 'Resource Types',
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div id="sem.configuration" class="section">
<h2 class="title">Runtime Configuration</h2>
<p class="simpara">
The behaviour of these functions is affected by settings in <var class="filename">php.ini</var>.
</p>
<p class="para">
</p><table class="doctable table">
<caption><b>Semaphore Configuration Options</b></caption>
<thead valign="middle">
<tr valign="middle">
<th>Name</th>
<th>Default</th>
<th>Changeable</th>
<th>Changelog</th>
</tr>
</thead>
<tbody valign="middle" class="tbody">
<tr valign="middle">
<td align="left"><a href="sem.configuration.php#ini.sysvshm.init-mem" class="link">sysvshm.init_mem</a></td>
<td align="left">10000</td>
<td align="left">PHP_INI_SYSTEM</td>
<td class="empty"> </td>
</tr>
</tbody>
</table>
<p>
For further details and definitions of the
PHP_INI_* modes, see the <a href="configuration.changes.modes.php" class="xref">Where a configuration setting may be set</a>.
</p>
<p class="para">Here's a short explanation of
the configuration directives.</p>
<p class="para">
</p><dl>
<dt id="ini.sysvshm.init-mem" class="varlistentry">
<span class="term">
<i><tt class="parameter">sysvshm.init_mem</tt></i>
<a href="language.types.integer.php" class="type int">int</a>
</span>
</dt><dd class="listitem">
<p class="para">
A default size of the shared memory segment.
</p>
</dd>
</dl>
<p>
</p>
</div><?php manual_footer(); ?>
