//
// This key id# is important - do not change or renumber
//
+$cron_arr = array();
$cron_arr[0]='unused';
$cron_arr[1]='calculate_user_metric.php';
$cron_arr[2]='check_stale_tracker_items.php';
return db_query($sql);
}
-?>
+function cron_debug($string) {
+ global $verbose;
+ if($verbose) {
+ echo $string."\n";
+ }
+}
+
+function checkChroot() {
+ global $sys_chroot;
+ if(isset($sys_chroot) && !empty($sys_chroot) && is_dir($sys_chroot)) {
+ return true;
+ }
+ return false;
+}
+
+function chrootPath($path) {
+ global $sys_chroot;
+ if(checkChroot()) {
+ $path = $sys_chroot.$path;
+ }
+ return $path;
+}
+
+function chrootCommand($command) {
+ global $sys_chroot;
+ if(checkChroot()) {
+ $command = 'chroot '.$sys_chroot.' '.$command;
+ }
+ return $command;
+}
+
+?>
\ No newline at end of file