code: def format_error(err_type, err_value, err_trace=None):
      
      if err_trace is None:
          err_parts = "".join(traceback.format_exception_only(err_type, err_value)).strip().split(": ", 1)
          if len(err_parts) == 1:
              err_name, err_msg = err_parts[0], ""
          else:
              err_name, err_msg = err_parts
          err_name = err_name.split(".")[-1]
          return err_name + ": " + err_msg
      else:
          return "".join(traceback.format_exception(err_type, err_value, err_trace)).strip()
docs: Properly formats the specified error.