You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
LSP server not available when notebook starting, but available afterwards
connection to the LSP server temporarily lost
Also:
the LSP server encounters a serious error and the pipe gets broken; it should be restarted; we should require that no more that 3 failures occur or that they occur not more often than once every 15 minutes.
The text was updated successfully, but these errors were encountered:
Follow up on #4. Two major scenarios to test:
Also:
The text was updated successfully, but these errors were encountered: