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); }