From d446bb9c18d1f4ec59eb76162061a24b42465400 Mon Sep 17 00:00:00 2001
From: Joe Hunt <joe.hunt.consulting@gmail.com>
Date: Thu, 15 Nov 2012 15:18:14 +0100
Subject: [PATCH] Fixed session abandoned error in Windows Servers

---
 includes/session.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/session.inc b/includes/session.inc
index ce56380..ed5f5c0 100644
--- a/includes/session.inc
+++ b/includes/session.inc
@@ -76,7 +76,7 @@ class SessionManager
 		$_SESSION['EXPIRES'] = time() + 10;
 
 		// Create new session without destroying the old one
-		session_regenerate_id();
+		session_regenerate_id(version_compare(PHP_VERSION, '5.1.0') >= 0 && (substr(strtoupper(PHP_OS),0,3) == "WIN"));
  
 		// Grab current session ID and close both sessions to allow other scripts to use them
 		$newSession = session_id();
-- 
2.30.2