diff --git a/helpers.inc.php b/helpers.inc.php index 55d667e..ac86d0c 100644 --- a/helpers.inc.php +++ b/helpers.inc.php @@ -170,14 +170,21 @@ function json_make_pretty(string $json) : string function need_to_regen(string $file, array $deps, bool $debug = false) : bool { - if(!is_file($file)) + if(is_file($file)) + { + $fmtime = filemtime($file); + } + else if(is_dir($file)) + { + $fmtime = filectime($file); + } + else { if($debug) echo "! $file\n"; return true; } - $fmtime = filemtime($file); foreach($deps as $dep) { if($dep && is_file($dep) && (filemtime($dep) > $fmtime))