Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Request textDocument/documentSymbol failed on creating new file in workspace #677

Closed
anderseknert opened this issue Apr 24, 2024 · 0 comments · Fixed by #678
Closed

Request textDocument/documentSymbol failed on creating new file in workspace #677

anderseknert opened this issue Apr 24, 2024 · 0 comments · Fixed by #678
Labels
bug Something isn't working language server protocol

Comments

@anderseknert
Copy link
Member

While this is temporary and does not crash the server, it's still annoying and should be fixed.

[Error - 11:57:24] Request textDocument/documentSymbol failed.
  Message: failed to get module for uri "file:///foo/p.rego"
  Code: 0 

Let's just log this without sending back an error.

@anderseknert anderseknert added bug Something isn't working language server protocol labels Apr 24, 2024
anderseknert added a commit that referenced this issue Apr 24, 2024
Fixes #677

Signed-off-by: Anders Eknert <anders@styra.com>
anderseknert added a commit that referenced this issue Apr 24, 2024
#678)

Fixes #677

Signed-off-by: Anders Eknert <anders@styra.com>
srenatus pushed a commit to srenatus/regal that referenced this issue Oct 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working language server protocol
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant