diff --git a/doc/check-metadata.php b/doc/check-metadata.php new file mode 100755 index 0000000000..8acf4a3d2a --- /dev/null +++ b/doc/check-metadata.php @@ -0,0 +1,29 @@ +#!/usr/bin/php + 86400+60) +{ + $status = 1; +} +else +{ + $status = 0; +} +if (!isset($verbose)) +{ + $mtime = new DateTime('@'.filemtime($metadata)); + $mtime->setTimeZone(new DateTimeZone('Europe/Berlin')); + $verbose = "Metadata last refreshed ".$mtime->format('Y-m-d H:i:s'); +} +echo "$status $cmd - $verbose\n";