2018-01-27 00:28:32 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
if (session_status() !== PHP_SESSION_ACTIVE) session_start();
|
|
|
|
|
2019-12-28 14:00:11 +01:00
|
|
|
global $CONFIG;
|
|
|
|
|
|
|
|
if (isset($_GET['clear']))
|
|
|
|
{
|
|
|
|
if (key_exists($CONFIG['extendedgitgraph']['session_var'], $_SESSION)) $_SESSION[$CONFIG['extendedgitgraph']['session_var']] = '';
|
|
|
|
}
|
|
|
|
|
|
|
|
if (key_exists($CONFIG['extendedgitgraph']['session_var'], $_SESSION))
|
|
|
|
echo $_SESSION[$CONFIG['extendedgitgraph']['session_var']];
|
2018-01-27 00:28:32 +01:00
|
|
|
else
|
|
|
|
echo '[[ NO SESSION STARTED ]]';
|
|
|
|
|
2019-12-28 14:00:11 +01:00
|
|
|
|
2018-01-27 00:28:32 +01:00
|
|
|
return;
|