#49877 [NEW]: session_destroy example does not take session domain into account

From: php at dmi dot me dot uk Operating system: PHP version: Irrelevant PHP Bug Type: Documentation problem Bug description: session_destroy example does not take session domain into account Description: ------------ Example on session_destroy() page is incorrect; it blindly assumes that the session cookie domain is the same as the hostname. Reproduce code: --------------- --- Example #1 from manual page: function.session-destroy#Examples --- Expected result: ---------------- if (isset($_COOKIE[session_name()])) { setcookie(session_name(), ini_get('session.cookie_domain'), time()-42000, '/'); } Actual result: -------------- if (isset($_COOKIE[session_name()])) { setcookie(session_name(), '', time()-42000, '/'); } -- Edit bug report at http://bugs.php.net/?id=49877&edit=1 -- Try a snapshot (PHP 5.2): http://bugs.php.net/fix.php?id=49877&r=trysnapshot52 Try a snapshot (PHP 5.3): http://bugs.php.net/fix.php?id=49877&r=trysnapshot53 Try a snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=49877&r=trysnapshot60 Fixed in SVN: http://bugs.php.net/fix.php?id=49877&r=fixed Fixed in SVN and need be documented: http://bugs.php.net/fix.php?id=49877&r=needdocs Fixed in release: http://bugs.php.net/fix.php?id=49877&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=49877&r=needtrace Need Reproduce Script: http://bugs.php.net/fix.php?id=49877&r=needscript Try newer version: http://bugs.php.net/fix.php?id=49877&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=49877&r=support Expected behavior: http://bugs.php.net/fix.php?id=49877&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=49877&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=49877&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=49877&r=globals PHP 4 support discontinued: http://bugs.php.net/fix.php?id=49877&r=php4 Daylight Savings: http://bugs.php.net/fix.php?id=49877&r=dst IIS Stability: http://bugs.php.net/fix.php?id=49877&r=isapi Install GNU Sed: http://bugs.php.net/fix.php?id=49877&r=gnused Floating point limitations: http://bugs.php.net/fix.php?id=49877&r=float No Zend Extensions: http://bugs.php.net/fix.php?id=49877&r=nozend MySQL Configuration Error: http://bugs.php.net/fix.php?id=49877&r=mysqlcfg