From 97414f12eebd4bedebf7b6040a8efd5111c7e5c1 Mon Sep 17 00:00:00 2001
From: Domas Mituzas <midom@users.mediawiki.org>
Date: Mon, 26 Dec 2005 13:08:06 +0000
Subject: [PATCH] session statistics live patch

---
 includes/Setup.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/includes/Setup.php b/includes/Setup.php
index a77f8537fd..896ef07c69 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -88,6 +88,7 @@ wfProfileIn( $fname.'-misc1' );
 
 $wgIP = false; # Load on demand
 $wgRequest = new WebRequest();
+$wguname = @posix_uname();
 
 # Useful debug output
 if ( $wgCommandLineMode ) {
@@ -131,9 +132,11 @@ if ( $wgDBprefix ) {
 }
 
 if( !$wgCommandLineMode && ( isset( $_COOKIE[session_name()] ) || isset( $_COOKIE[$wgDBname.'Token'] ) ) ) {
+	wfIncrStats( 'request_with_session' );
 	User::SetupSession();
 	$wgSessionStarted = true;
 } else {
+	wfIncrStats( 'request_without_session' );
 	$wgSessionStarted = false;
 }
 
-- 
2.20.1