mirror of
https://github.com/webmin/webmin.git
synced 2026-02-03 06:03:28 +00:00
Add option for memcache session path
This commit is contained in:
@@ -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'},
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -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'});
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user