fix(techdocs-not-found): bug fix

2020-07-27 09:17:00 +02:00
parent 3158c2390b
commit 166998b6d9
1 changed files with 4 additions and 0 deletions
@@ -91,6 +91,10 @@ export const Reader = () => {
      return; // Page isn't ready
    }

+    if (state.value instanceof Error) {
+      return; // Docs not found
+    }
+
    // Pre-render
    const transformedElement = transformer(state.value as string, [
      sanitizeDOM(),