diff options
author | Remi Collet <remi@remirepo.net> | 2018-06-22 10:36:08 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-06-22 10:36:08 +0200 |
commit | cbe554bf314452b82add1f568d7278063c8c502e (patch) | |
tree | 26ea7bc88c25bb7e240d3d55f2c9e52e01c067b5 /getSessionData.php | |
parent | 47abb35edde318ead04e102e88bafb90d07d85e4 (diff) |
update to 4.1.0RC3 (beta, no change)
drop patches merged upstream
Diffstat (limited to 'getSessionData.php')
-rw-r--r-- | getSessionData.php | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/getSessionData.php b/getSessionData.php deleted file mode 100644 index d49256c..0000000 --- a/getSessionData.php +++ /dev/null @@ -1,22 +0,0 @@ -<?php -error_reporting(E_ERROR | E_WARNING); - -$redisHost = $argv[1]; -$saveHandler = $argv[2]; -$sessionId = $argv[3]; -$sessionLifetime = $argv[4]; - -if (empty($redisHost)) { - $redisHost = 'tcp://localhost:6379'; -} - -ini_set('session.save_handler', $saveHandler); -ini_set('session.save_path', $redisHost); -ini_set('session.gc_maxlifetime', $sessionLifetime); - -session_id($sessionId); -if (!session_start()) { - echo "session_start() was nut successful"; -} else { - echo isset($_SESSION['redis_test']) ? $_SESSION['redis_test'] : 'Key redis_test not found'; -} |