tree c01fdf6690d188ea91a884e69d1f42b1bf45d5dc
parent 6abd3444b8571f7f973f946cdbdd552dab5ba4cf
author Jörg Kubitz <jkubitz-eclipse@gmx.de> 1646764193 -0500
committer Andrey Loskutov <loskutov@gmx.de> 1646811035 -0500

Bug 579153 - canceling java build may lead to full build

Revert "Bug 578640 - cancel autobuild when user wants to interrupt it"

This reverts commit e6cf8197dad20aab0a714e9b91e6f1b1ff885c81.

Change-Id: Id85118d2ab0f414c1a593e95ce8c9b2c2c0ec1f9
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/190425
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>