This repository has been archived by the owner on Aug 7, 2023. It is now read-only.
Better error message when the lintserver() is not reachable #31
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
It seems that when Lint.jl precompiles, user can see the generic error message. Solution is to explain in the error message that client couldn't contact server and possible reasons are either precompiling of the Lint.jl or that Lint.jl hasn't been installed in the first place.
Connected to #30
The text was updated successfully, but these errors were encountered: