From cbe554bf314452b82add1f568d7278063c8c502e Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Fri, 22 Jun 2018 10:36:08 +0200
Subject: update to 4.1.0RC3 (beta, no change) drop patches merged upstream

---
 startSession.php | 41 -----------------------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 startSession.php

(limited to 'startSession.php')

diff --git a/startSession.php b/startSession.php
deleted file mode 100644
index 2149da6..0000000
--- a/startSession.php
+++ /dev/null
@@ -1,41 +0,0 @@
-<?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