update to 4.0.2

open https://github.com/phpredis/phpredis/pull/1365 use PHP_BINARY instead of php and allow override
report https://github.com/phpredis/phpredis/issues/1364 missing files in pecl archive
add new redis.session.lock* options in provided configuration

1 files changed, 41 insertions, 0 deletions

diff --git a/startSession.php b/startSession.php
new file mode 100644
index 0000000..2149da6
--- /dev/null
+++ b/startSession.php
@@ -0,0 +1,41 @@
+<?php
+error_reporting(E_ERROR | E_WARNING);
+
+$redisHost = $argv[1];
+$saveHandler = $argv[2];
+$sessionId = $argv[3];
+$sleepTime = $argv[4];
+$maxExecutionTime = $argv[5];
+$lock_retries = $argv[6];
+$lock_expire = $argv[7];
+$sessionData = $argv[8];
+$sessionLifetime = $argv[9];
+
+if (empty($redisHost)) {
+    $redisHost = 'tcp://localhost:6379';
+}
+
+ini_set('session.save_handler', $saveHandler);
+ini_set('session.save_path', $redisHost);
+ini_set('max_execution_time', $maxExecutionTime);
+ini_set('redis.session.lock_retries', $lock_retries);
+ini_set('redis.session.lock_expire', $lock_expire);
+ini_set('session.gc_maxlifetime', $sessionLifetime);
+
+if (isset($argv[8])) {
+    ini_set('redis.session.locking_enabled', $argv[10]);
+}
+
+if (isset($argv[9])) {
+    ini_set('redis.session.lock_wait_time', $argv[11]);
+}
+
+session_id($sessionId);
+$sessionStartSuccessful = session_start();
+sleep($sleepTime);
+if (!empty($sessionData)) {
+    $_SESSION['redis_test'] = $sessionData;
+}
+session_write_close();
+
+echo $sessionStartSuccessful ? 'SUCCESS' : 'FAILURE';
\ No newline at end of file