Closed dotta closed 11 years ago
I thought I had fixed the spurious bug :( Can you reproduce it locally or is the test still broken?
@mads379 It's hard to reproduce because of its spurious nature ;) I guess we should re-open the ticket.
PLS REBUILD/scala-search-master-2.10-pr-validator
(kitty-note-to-self: ignore 18753204) :cat: Roger! Rebuilding for . :rotating_light:
PLS REBUILD/scala-search-master-2.10-pr-validator
@mads379 Is this good for merging?
(kitty-note-to-self: ignore 18833234) :cat: Roger! Rebuilding for . :rotating_light:
Looks good to me! :) Thanks
Unfortunately, I'll have to re-open ticket 1001752 as I just got the same exception again:
org.eclipse.core.internal.resources.ResourceException: Resource '/org.scala-ide.sdt.core' is not open.
at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:150)
at org.eclipse.core.internal.resources.Project.getReferencedProjects(Project.java:521)
at org.scala.tools.eclipse.search.searching.ProjectFinder.refs(ProjectFinder.scala:36)
at org.scala.tools.eclipse.search.searching.ProjectFinder.projectClosure(ProjectFinder.scala:25)
at org.scala.tools.eclipse.search.searching.Finder.occurrencesOfEntityAt(Finder.scala:32)
at org.scala.tools.eclipse.search.handlers.FindOccurrences$$anonfun$execute$2$$anonfun$apply$3$$anonfun$apply$4$$anon$1.run(FindOccurrences.scala:65)
at org.eclipse.search2.internal.ui.InternalSearchUI$InternalSearchJob.run(InternalSearchUI.java:91)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)
Fix #1001752