public function render_inc_file($element, $section = NULL, $module = NULL, $page = NULL, $type = NULL)
{
if ($this->debug) {
echo "----------------------------------------\n";
echo "\$element: {$element}\n\n";
}
$filename = $this->get_filename($element, $section, $module, $page, $type);
if ($this->debug) {
echo "\n\$filename: {$filename}\n";
}
require $filename;
if ($this->debug) {
echo "----------------------------------------\n";
}
/*
* This is only used when collating a list of .INC files
* for caching optimisation.
*/
if ($this->record_inc_files) {
$file = new FileSystem_File($filename);
$this->inc_files[$element] = $file->get_name_relative_to_dir(PROJECT_ROOT);
}
}
public static function cmp_ctime(FileSystem_File1 $a, FileSystem_File $b)
{
#echo '$a->ctime(): ' . $a->ctime() . "\n";
#echo '$b->ctime(): ' . $b->ctime() . "\n";
return $a->ctime() - $b->ctime();
}
while ($row = mysql_fetch_assoc($result)) {
/*
* Dump the contents of the database.
*/
$database = $row['Database'];
$cmd = 'mysqldump' . " --databases {$database}" . " --user={$username}" . " --password={$password}" . " --host={$host}" . " --skip-extended-insert" . " --order-by-primary";
/*
* Do we need to create a directory for this DB?
*/
#$db_dump_dir = $dump_directory->get_name() . "/$database";
$db_dump_dir = "{$dump_directory_name}/{$database}";
if (!is_dir($db_dump_dir)) {
mkdir($db_dump_dir);
}
$dump_filename = "{$db_dump_dir}/latest.dump";
$dump_file = new FileSystem_File($dump_filename);
#$dump_file = $dump_directory->get_next_dump_file();
#if ($_SERVER['OS'] == 'Windows_NT') {
$cmd .= ' > "' . $dump_file->get_name() . '"';
#} else {
# $cmd .= " > $dump_filename";
#}
if (!$silent) {
echo "The command: {$cmd}\n";
}
system($cmd);
}
/*
* -----------------------------------------------------------------------------
* Store this information in the database.
* -----------------------------------------------------------------------------
public static function is_lock_file(FileSystem_File $file)
{
$file_name = $file->get_name();
#echo "\$file_name: '$file_name'\n";
return preg_match('/\\.txt$/', $file_name);
}
