diff options
author | Dries Buytaert <dries@buytaert.net> | 2010-01-25 10:38:35 +0000 |
---|---|---|
committer | Dries Buytaert <dries@buytaert.net> | 2010-01-25 10:38:35 +0000 |
commit | af3f94b37ebb4e6b2d03f937e40a157a17dff223 (patch) | |
tree | 002f4e23f118c3324f7cf2bceb781c441f55406f /includes/session.inc | |
parent | 4f6cf1d1a1ac7f6ef0295cbdcf24ea980fda61b7 (diff) | |
download | brdo-af3f94b37ebb4e6b2d03f937e40a157a17dff223.tar.gz brdo-af3f94b37ebb4e6b2d03f937e40a157a17dff223.tar.bz2 |
- Patch #693614 by asimmonds: fixed PHPDoc spelling typos.
Diffstat (limited to 'includes/session.inc')
-rw-r--r-- | includes/session.inc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/session.inc b/includes/session.inc index 0d387a146..5295173e5 100644 --- a/includes/session.inc +++ b/includes/session.inc @@ -85,7 +85,7 @@ function _drupal_session_read($sid) { // Otherwise, if the session is still active, we have a record of the // client's session in the database. If it's HTTPS then we are either have // a HTTPS session or we are about to log in so we check the sessions table - // for an anonymous session wth the non-HTTPS-only cookie. + // for an anonymous session with the non-HTTPS-only cookie. if ($is_https) { $user = db_query("SELECT u.*, s.* FROM {users} u INNER JOIN {sessions} s ON u.uid = s.uid WHERE s.ssid = :ssid", array(':ssid' => $sid))->fetchObject(); if (!$user) { @@ -201,7 +201,7 @@ function drupal_session_initialize() { } else { // Set a session identifier for this request. This is necessary because - // we lazyly start sessions at the end of this request, and some + // we lazily start sessions at the end of this request, and some // processes (like drupal_get_token()) needs to know the future // session ID in advance. $user = drupal_anonymous_user(); @@ -344,7 +344,7 @@ function _drupal_session_destroy($sid) { * @param $name * Name of session cookie to delete. * @param $force_insecure - * Fornce cookie to be insecure. + * Force cookie to be insecure. */ function _drupal_session_delete_cookie($name, $force_insecure = FALSE) { if (isset($_COOKIE[$name])) { |