diff options
| author | Dries Buytaert <dries@buytaert.net> | 2010-09-17 14:56:27 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2010-09-17 14:56:27 +0000 |
| commit | 743646d3732edb4beacd2ccea1591a1c4d4206e9 (patch) | |
| tree | d2938d0579b0ac88da41458362182e877f8af518 /includes/session.inc | |
| parent | db1d3a0287e35e30e435551ace03e15719845447 (diff) | |
| download | brdo-743646d3732edb4beacd2ccea1591a1c4d4206e9.tar.gz brdo-743646d3732edb4beacd2ccea1591a1c4d4206e9.tar.bz2 | |
- Patch #846330 by sun: proper wrapping of phpDoc.
Diffstat (limited to 'includes/session.inc')
| -rw-r--r-- | includes/session.inc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/includes/session.inc b/includes/session.inc index 85ef7ad0a..8d0d9fb32 100644 --- a/includes/session.inc +++ b/includes/session.inc @@ -311,8 +311,9 @@ function drupal_session_regenerate() { } $params = session_get_cookie_params(); $session_id = drupal_hash_base64(uniqid(mt_rand(), TRUE) . drupal_random_bytes(55)); - // If the session cookie lifetime is set, the session will expire $params['lifetime'] seconds from the current request. - // If it is not set, it will expire when the browser is closed. + // If a session cookie lifetime is set, the session will expire + // $params['lifetime'] seconds from the current request. If it is not set, + // it will expire when the browser is closed. $expire = $params['lifetime'] ? REQUEST_TIME + $params['lifetime'] : 0; setcookie($insecure_session_name, $session_id, $expire, $params['path'], $params['domain'], FALSE, $params['httponly']); $_COOKIE[$insecure_session_name] = $session_id; |