From 588e9233b5aed1cf3bbc1ff58002eabe7eba6ee7 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Mon, 13 Oct 2008 19:13:54 +0000 Subject: [PATCH] Add debug log item for r42040 --- includes/User.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/includes/User.php b/includes/User.php index 5a6f5e789b..6436972cd1 100644 --- a/includes/User.php +++ b/includes/User.php @@ -805,6 +805,8 @@ class User { $sId = intval( $_COOKIE["{$wgCookiePrefix}UserID"] ); if( isset( $_SESSION['wsUserID'] ) && $sId != $_SESSION['wsUserID'] ) { $this->loadDefaults(); // Possible collision! + wfDebugLog( 'loginSessions', "Session user ID ({$_SESSION['wsUserID']}) and + cookie user ID ($sId) don't match!" ); return false; } $_SESSION['wsUserID'] = $sId; -- 2.20.1