boost/website
2
0
Fork 0
mirror of https://github.com/boostorg/website.git synced 2026-01-19 04:42:17 +00:00
Code Issues Projects Releases Wiki Activity

Catch json errors when reading from modules

Browse Source
This commit is contained in:
Daniel James
2018-10-30 09:05:40 +00:00
parent e9c370be10
commit 6b05566f78
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
site-tools/update-doc-list.php
View File

@@ -187,7 +187,11 @@ function read_metadata_from_modules($path, $location, $hash, $sublibs = array('l
}
else {
$text = implode("\n", $super_project->run_git("show {$metadata_hash}"));
$updated_libs = array_merge($updated_libs, load_from_text($text, $metadata_path, dirname(dirname($metadata_path))));
try {
$updated_libs = array_merge($updated_libs, load_from_text($text, $metadata_path, dirname(dirname($metadata_path))));
} catch (BoostLibraries_DecodeException $e) {
echo "Error decoding metadata for library at {$metadata_path}:\n{$e->content()}\n";
}
}
}