tree a0bfb279ad4004e7fea1a5eb1f9f73ca8919530e
parent eab73257911410c1fc318f247f349ec3e7c0370b
author Andrey Loskutov <loskutov@gmx.de> 1642503080 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1642544594 -0500

Bug 578257 - API job should cancel execution on disposed baseline

Provide monitor & ask for cancellation on the monitor in case API
analysis job runs at same time a baseline is disposed.

Change-Id: I0fc91b0252eaf2a7b0275c84b7245a1804f3bfee
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/189733
Tested-by: PDE Bot <pde-bot@eclipse.org>