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

---
 getSessionData.php | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 getSessionData.php

(limited to 'getSessionData.php')

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';
-}
-- 
cgit