Andrew Eisenberg 3d93bb2ac9 Add UserError ...

This commit adds a `UserError` class that should be thrown when the
cause of an error is fundamentally from user configuration.

When sending status reports, avoid sending a `failure` for `UserError`s.
This will prevent our diagnostics from pinging us for errors outside of
our control.

2022-02-17 11:47:31 -08:00

8.8 KiB

Generated

Raw Blame History

View Raw