Bug 578640 - cancel autobuild when user wants to interrupt it

to faster release the workspace lock during long running java builds

Change-Id: Ia0ddea8c7526d3e78b83b5c1625ff9753017a7fc
Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/190567
Tested-by: Platform Bot <platform-bot@eclipse.org>
Tested-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>
1 file changed