Please consider the following patches for inclusion into PHP.
One change adds a PHP function session_is_started() to determine if a session has already been, well... started. :)
It also adds an optional id parameter to session_regenerate_id() allowing the user to provide their own id instead of PHP generating a new one. I'm not implying there is anything wrong with PHP generating a new id. I just need session_regenerate_id() to behave like session_id($myID), only after a session has already been started.
I've posted the diff output of the affected files at these two locations.
http://www.caincomputing.com/php5/ext/session/session.c.txt http://www.caincomputing.com/php5/ext/session/php_session.h.txt
This is my first patch submission, so if I've overlooked anything please let me know. Thanks for your time and consideration in advance.
-dan
--
D a n i e l J C a i n J r .
Zend Certified Engineer http://zend.com/zce.php?c=ZEND001685&r=210869656
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
