From 55dff4e286f2fef59c62d9dec642d0643f6ca87d Mon Sep 17 00:00:00 2001 From: Mzhelskiy Maxim Date: Sun, 28 Aug 2011 15:04:16 +0000 Subject: [PATCH] fix Ticket #229 --- engine/modules/session/Session.class.php | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/engine/modules/session/Session.class.php b/engine/modules/session/Session.class.php index 6b6bd273..be8385a3 100644 --- a/engine/modules/session/Session.class.php +++ b/engine/modules/session/Session.class.php @@ -23,6 +23,14 @@ class ModuleSession extends Module { protected $sId=null; protected $aData=array(); + /** + * Список user-agent'ов для флеш плеера + * + * @var array + */ + protected $aFlashUserAgent=array( + 'Shockwave Flash','Adobe Flash Player','Adobe Flash Player 10' + ); /** * Использовать или нет стандартный механизм сессий @@ -59,7 +67,7 @@ class ModuleSession extends Module { /** * Даем возможность флешу задавать id сессии */ - if (isset($_SERVER['HTTP_USER_AGENT']) and in_array($_SERVER['HTTP_USER_AGENT'],array('Shockwave Flash','Adobe Flash Player')) and preg_match("/^[\w\d]{5,40}$/",getRequest('SSID'))) { + if (isset($_SERVER['HTTP_USER_AGENT']) and in_array($_SERVER['HTTP_USER_AGENT'],$this->aFlashUserAgent) and preg_match("/^[\w\d]{5,40}$/",getRequest('SSID'))) { session_id(getRequest('SSID')); } else { session_regenerate_id();