code: def render_exception(error):
      
      _, _, category = str.partition(request.path, '/')
  
      qsize = index.queue_length()
      if isinstance(error, http_error.NotFound) and qsize:
          response = flask.make_response(render_error(
              category, "Site reindex in progress (qs={})".format(qsize), 503))
          response.headers['Retry-After'] = qsize
          response.headers['Refresh'] = max(5, qsize / 5)
          return response, 503
  
      if isinstance(error, http_error.HTTPException):
          return render_error(category, error.name, error.code, exception={
              'type': type(error).__name__,
              'str': error.description,
              'args': error.args
          })
  
      return render_error(category, "Exception occurred", 500, exception={
          'type': type(error).__name__,
          'str': str(error),
          'args': error.args
      })
docs: Catch-all renderer for the top-level exception handler