Description:
------------
session_destroy() does not only unset the values in the session but disables the session completely, untill another call to session_start() is issued. 

This is not documented behaviour and should be. It will save people som e time. It is mentioned in the user comments but way down the line, not the first place to search for the description of behaviour.



Reproduce code:
---------------
<?php
session_start();
echo 'current id is ',session_id(),PHP_EOL;
//set value in session
$_SESSION['foo'] = 'bar';
echo 'value set in session, current content:',PHP_EOL;
print_r($_SESSION);

//destroy session content
session_destroy();
echo 'session destroyed, current content: ',PHP_EOL;
print_r($_SESSION);
echo 'current id is ',session_id(),PHP_EOL;

//regenerate ID?
session_regenerate_id();
echo 'regenerated id',PHP_EOL;
echo 'current id is ',session_id(),PHP_EOL;

//start new session?
session_start();
echo 'started new session',PHP_EOL;
echo 'current id is ',session_id(),PHP_EOL;

//regenerate ID?
session_regenerate_id();
echo 'regenerated id',PHP_EOL;
echo 'current id is ',session_id(),PHP_EOL;

?>

Expected result:
----------------
I would have expected that session_destroy() would only affect the current values of the session. 

Possibly, i had expected that session_regenerate_id() would (under the surface) call session_start() for me if not already available.

Actual result:
--------------
session_destroy() destroy's the session with the values and the session_id