<?php
require_once("inc/security.php");
function system_failure($reason)
{
if (!isset($_SESSION['role'])) {
$_SESSION['role'] = ROLE_ANONYMOUS;
}
input_error($reason);
show_page();
die();
}
function input_error($reason)
{
global $input_error;
if (!isset($input_error)) {
$input_error = [];
}
array_push($input_error, $reason);
}
function warning($msg)
{
if (!isset($_SESSION['warning'])) {
$_SESSION['warning'] = [];
}
array_push($_SESSION['warning'], $msg);
$backtrace = debug_backtrace();
DEBUG('WARNING:<br>'.$backtrace[0]['file'].':'.$backtrace[0]['line'].': '.$msg);
}
function success_msg($msg)
{
if (!isset($_SESSION['success_msg'])) {
$_SESSION['success_msg'] = [];
}
array_push($_SESSION['success_msg'], $msg);