git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@167974 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Martin Samesch 2004-09-04 14:14:25 +00:00
parent 1b9a4ece70
commit 71bfdc896c

View file

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
<!-- $Revision: 1.3 $ -->
<!-- $Revision: 1.4 $ -->
<!-- splitted from ./en/functions/session.xml, last change in rev 1.2 -->
<refentry id="function.session-destroy">
<refnamediv>
@ -20,7 +20,7 @@
</simpara>
<para>
In order to kill the session altogether, like to log the user out, the
session id must also be unset. If a cookie is used to propogate the
session id must also be unset. If a cookie is used to propagate the
session id (default behavior), then the session cookie must be deleted.
<function>setcookie</function> may be used for that.
</para>