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
Add support for multiple workspaces #601
Conversation
I think the errors in Circle were caused by Jedi 0.14. That should be fixed by PR #607, so please merge with master to get the fix. |
@ccordoba12 I'll add a test, and this one should be ready to merge |
8ce67d9
to
29facdb
Compare
29facdb
to
528e3f0
Compare
@ccordoba12 This one is ready and tested |
@andfoy, please solve the merge conflict so I can merge this one. Thanks! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @andfoy!
This PR enables multi-root support for pyls, thus, enabling a single server to manage multiple workspaces for a single client.
cc @ccordoba12