Improved graceful handling of broken search when browsing locally

material/base.html

@@ -225,7 +225,7 @@
       </script>
     {% endblock %}
     {% block scripts %}
-      <script src="{{ 'assets/javascripts/bundle.c7d1b464.min.js' | url }}"></script>
+      <script src="{{ 'assets/javascripts/bundle.cfdd7908.min.js' | url }}"></script>
       {% for path in config["extra_javascript"] %}
         <script src="{{ path | url }}"></script>
       {% endfor %}

material/overrides/main.html

@@ -16,5 +16,5 @@
 {% endblock %}
 {% block scripts %}
   {{ super() }}
-  <script src="{{ 'overrides/assets/javascripts/bundle.54f85274.min.js' | url }}"></script>
+  <script src="{{ 'overrides/assets/javascripts/bundle.602c421d.min.js' | url }}"></script>
 {% endblock %}

src/assets/javascripts/browser/request/index.ts

@@ -20,8 +20,9 @@
  * IN THE SOFTWARE.
  */
 
-import { Observable, from } from "rxjs"
+import { EMPTY, Observable, from } from "rxjs"
 import {
+  catchError,
   filter,
   map,
   shareReplay,
@@ -35,6 +36,9 @@ import {
 /**
  * Fetch the given URL
  *
+ * If the request fails (e.g. when dispatched from `file://` locations), the
+ * observable will complete without emitting a value.
+ *
  * @param url - Request URL
  * @param options - Options
  *
@@ -46,6 +50,7 @@ export function request(
   return from(fetch(`${url}`, options))
     .pipe(
       filter(res => res.status === 200),
+      catchError(() => EMPTY)
     )
 }