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

New folders do not register in the jdt.ls workspace #10115 #11084

Merged
merged 1 commit into from Sep 26, 2018

Conversation

vrubezhny
Copy link
Contributor

This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny vrubezhny@redhat.com

What does this PR do?

What issues does this PR fix or reference?

Release Notes

Docs PR

@riuvshin
Copy link
Contributor

riuvshin commented Sep 5, 2018

Can one of the admins verify this patch?

2 similar comments
@riuvshin
Copy link
Contributor

riuvshin commented Sep 5, 2018

Can one of the admins verify this patch?

@riuvshin
Copy link
Contributor

riuvshin commented Sep 5, 2018

Can one of the admins verify this patch?

@benoitf benoitf added target/branch Indicates that a PR will be merged into a branch other than master. status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. labels Sep 5, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
@vrubezhny
Copy link
Contributor Author

The PR is rebased over the 5730_java_ls_poc branch

Copy link
Contributor

@tsmaeder tsmaeder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@tsmaeder tsmaeder merged commit 9e0cd0a into eclipse-che:5730_java_ls_poc Sep 26, 2018
@benoitf benoitf removed the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Sep 26, 2018
tsmaeder pushed a commit that referenced this pull request Sep 26, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 1, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 5, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 12, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 16, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 17, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 17, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 17, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 17, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
tsmaeder pushed a commit that referenced this pull request Oct 17, 2018
This fix adds a filtering of java projects (folders from the projects
of other types will not be reported to jdt.ls)

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
target/branch Indicates that a PR will be merged into a branch other than master.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants