scala-ide/scala-search — pull request #22 by mads379 (2013-04-03 13:24:54+00:00)
Title: WIP: 1001629 handle exceptions in Index

Hi,

I'm opening this pull request so you can see my work in progress and such that it is easier to discuss code. This is mostly for @dotta

Cheers,
Mads