tree 3193e66be2a7b044f520f680a421e760a7385e41
parent 7146de80aefb342900842fa4e1c45769b8b01c9b
author Simeon Andreev <simeon.danailov.andreev@gmail.com> 1539764390 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1539783767 +0200

Bug 540132 - ResourceException when updating breakpoint messages

Breakpoint messages are updated on breakpoint notifications. Those
usually are triggered in a job. Its therefore possible that the
respective project was deleted before such a job manages to update
breakpoint messages. In this case, a ResourceException is thrown.

With this change, a job is scheduled to update breakpoint messages. The
job will use a workspace modification lock and check whether markers
still exist, before updating their messages. This prevents the
ResourceException.

Change-Id: Ie57731dbca587bbe8c2b0afa8b77fe1507ef8e70
Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>