1
0
www.mikescher.com/www/commands/extendedgitgraph_status.php

22 lines
405 B
PHP
Raw Normal View History

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