status===true) {
require(HTML_ROOT.'menu.php');
require(HTML_ROOT.'users.php');
while($tm0=array_shift($_DISPLAY)) {
debug(HTML_ROOT.$tm0,'current_include');
include(HTML_ROOT.$tm0) or debug($tm0,'bad_file_include');
}
} else {
require(HTML_ROOT.'login_form.php');
}
include(HTML_ROOT.'debug_html.php');
require(HTML_ROOT.'html_footer.html');
?>