From b6c457247052c36a60c4d3b53c2256db22a8a62c Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Fri, 8 Jun 2018 11:55:02 +0200
Subject: 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

---
 startSession.php | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 startSession.php

(limited to 'startSession.php')

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
-- 
cgit