diff --git a/phpini/edit_session.cgi b/phpini/edit_session.cgi index 150504aeb..6a8365a5f 100755 --- a/phpini/edit_session.cgi +++ b/phpini/edit_session.cgi @@ -19,7 +19,8 @@ print &ui_table_row($text{'session_handler'}, [ [ "files", $text{'session_files'} ], [ "mm", $text{'session_mm'} ], [ "users", $text{'session_users'} ], - [ "redis", $text{'session_redis'} ] ])); + [ "redis", $text{'session_redis'} ], + [ "memcache", $text{'session_memcache'} ] ])); # Where to save session files print &ui_table_row($text{'session_path'}, diff --git a/phpini/lang/en b/phpini/lang/en index d7fafff8e..26b85d6bf 100644 --- a/phpini/lang/en +++ b/phpini/lang/en @@ -71,6 +71,8 @@ session_handler=Session storage mechanism session_files=Files session_mm=In memory session_users=User defined +session_redis=Redis +session_memcache=MemcacheD session_path=Directory for session files session_cookies=Allow use of cookies for session tracking? session_only_cookies=Always use cookies for session tracking? @@ -80,7 +82,6 @@ session_maxlife=Maximum session lifetime session_epath=Missing or invalid directory for session files session_elife=Missing or invalid cookie lifetime session_emaxlife=Missing or invalid maximum session lifetime -session_eredis=Missing or disabled redis extension safe_title=Safe Mode Options safe_header=Safe file access mode options diff --git a/phpini/save_session.cgi b/phpini/save_session.cgi index 02b6c1fb8..8ea4581d9 100755 --- a/phpini/save_session.cgi +++ b/phpini/save_session.cgi @@ -16,13 +16,8 @@ if ($in{"session.save_path_def"}) { &save_directive($conf, "session.save_path", undef); } else { - if($in{"session.save_handler"} == "redis") { - my @hasRedis = `php -m | grep redis` == "redis"; - if(!@hasRedis) { - &error($text{'session_eredis'}); - } - } - else { + if ($in{"session.save_handler"} ne "redis" && + $in{"session.save_handler"} ne "memcache") { # file path must not be checked with other handlers (e.g. redis) -d $in{"session.save_path"} || &error($text{'session_epath'}); }