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'); ?>