On Mon, 2022-11-07 at 14:59 -0500, Paul Smith wrote:
> I agree that we should drop down to "jobserver unavailable" here
> rather than having a fatal error.

I have a change that implements this now.

Reply via email to