Escape </script> tags in JSON data

spatialaudio · Nov 24, 2021 · 44829f1 · 44829f1
1 parent b34f3e4
commit 44829f1
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/nbsphinx.py b/src/nbsphinx.py
@@ -795,7 +795,12 @@ def replace_attachments(text):
                 'save_attachments': save_attachments,
                 'replace_attachments': replace_attachments,
                 'get_output_type': _get_output_type,
-                'json_dumps': json.dumps,
+                'json_dumps': lambda s: re.sub(
+                    r'<(/script)',
+                    r'<\\\1',
+                    json.dumps(s),
+                    flags=re.IGNORECASE,
+                ),
                 'basename': os.path.basename,
                 'dirname': os.path.dirname,
             })