#1001795
  • Created on
    2013-07-29 07:16
  • Reported by
    Mirco Dotta
  • Status
    Fixed
  • Priority
    Normal (3)
  • Assigned to
    mads379
  • Milestone
    Scala Search
  • Plan Level
    -
  • Permission type
    Public
  • Due Date
    -

Attachments

Related Tickets

Add new subtask or bug

Scala Search: Don't lock the workspace when indexing

(Moving ticket from https://github.com/scala-ide/scala-search/issues/66)

We shouldn't need to lock the whole workspace when indexing.
User picture
  on 2013-08-02 01:20 *
By mads379
Status changed from New to Fixed

In scala-ide:07b643df093d034e0772a9b535fdd3570bbb7c9e Don't lock workspace when indexing project

There's no reason to lock the workspace when indexing a given
project.

Any changes made to the workspace during indexing will eventually be
reported through the events sent by Eclipse and the index will be
updated accordingly.

Fixes #1001795

Committed to: scala-ide