From 6b05566f78663202794122caca7999b6bf05f2e2 Mon Sep 17 00:00:00 2001
From: Daniel James <daniel@calamity.org.uk>
Date: Tue, 30 Oct 2018 09:05:40 +0000
Subject: [PATCH] Catch json errors when reading from modules

---
 site-tools/update-doc-list.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/site-tools/update-doc-list.php b/site-tools/update-doc-list.php
index 5c554839..784c3339 100755
--- a/site-tools/update-doc-list.php
+++ b/site-tools/update-doc-list.php
@@ -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";
+            }
         }
     }