File: getSessionData.php

package info (click to toggle)
php-redis 6.2.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,412 kB
  • sloc: ansic: 19,453; php: 8,683; xml: 1,704; sh: 261; makefile: 3
file content (33 lines) | stat: -rw-r--r-- 843 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
<?php

require_once __DIR__ . '/SessionHelpers.php';

error_reporting(E_ERROR | E_WARNING);

$opt = getopt('', ['handler:', 'save-path:', 'id:', 'lifetime:']);

$handler = $opt['handler'] ?? NULL;
$save_path = $opt['save-path'] ?? NULL;
$id = $opt['id'] ?? NULL;
$lifetime = $opt['lifetime'] ?? NULL;

if ( ! $handler) {
    fprintf(STDERR, "--handler is required\n");
    exit(1);
} else if ( ! $save_path) {
    fprintf(STDERR, "--save-path is required\n");
    exit(1);
}

ini_set('session.save_handler', $handler);
ini_set('session.save_path', $save_path);
ini_set('session.gc_maxlifetime', $lifetime);

session_id($id);
if ( ! session_start()) {
    fprintf(STDERR, "session_start() was nut successful");
    exit(1);
} else {
    echo isset($_SESSION['redis_test']) ? $_SESSION['redis_test'] : 'Key redis_test not found';
    exit(0);
}