git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit a55d1df5 authored by mmn's avatar mmn

Clearer warning message on non-existing file

parent 0337a7b8
......@@ -520,7 +520,7 @@ function setFilehashOnLocalFiles()
$file->filehash = hash_file(File::FILEHASH_ALG, $file->getPath());
$file->update($orig);
} catch (FileNotFoundException $e) {
echo "\n WARNING: file ID {$file->id} does not exist on path '{$e->path}'. Clean up the file table?";
echo "\n WARNING: file ID {$file->id} does not exist on path '{$e->path}'. If there is no file system error, run: php scripts/clean_file_table.php";
}
}
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment