scala-ide/scala-ide — pull request #767 by sschaef (2014-08-19 15:26:27+00:00)
Title: Interrupt Scala builder on resource change

Whenever Eclipse is configured to automatically build, an interrupt
event is sent to all builders whenever an resource change happens in the
workspace.

The Scala builder didn't react on such an interrupt event so far - this
changes with this commit.

Beside from aborting the current running build, the build is restarted
after the resource change event is handled.

Fixes #1002229

---

See the discussion on https://groups.google.com/forum/?utm_medium=email&utm_source=footer#!topic/scala-ide-user/VQpZKX0FPLE that led to this PR.