***********************************************************************/
include_once($path_to_root . "/includes/db/connect_db.inc");
-include_once($path_to_root . "/includes/reserved.inc");
include_once($path_to_root . "/includes/errors.inc");
include_once($path_to_root . "/includes/types.inc");
include_once($path_to_root . "/includes/systypes.inc");
include_once($path_to_root . "/admin/db/users_db.inc");
include_once($path_to_root . "/includes/ui/ui_view.inc");
include_once($path_to_root . "/includes/ui/ui_controls.inc");
-include_once($path_to_root . "/installed_extensions.php");
function page($title, $no_menu=false, $is_index=false, $onload="", $js="", $script_only=false)
{
page_footer($no_menu, $is_index);
}
-function flush_dir($path)
+function flush_dir($path, $wipe = false)
{
$dir = opendir($path);
while(false !== ($fname = readdir($dir))) {
- if($fname=='.' || $fname=='..' || $fname=='index.php') continue;
+ if($fname=='.' || $fname=='..' || (!$wipe && $fname=='index.php')) continue;
if(is_dir($path.'/'.$fname)) {
- flush_dir($path.'/'.$fname);
- @rmdir($path.'/'.$fname);
+ flush_dir($path.'/'.$fname, $wipe);
+ if ($wipe) @rmdir($path.'/'.$fname);
} else
@unlink($path.'/'.$fname);
- }
+ }
}
function cache_js_file($fpath, $text)