tree f0665cf7406ad0093c7ac52359a0c815b17b3d6d
parent da44517d75ff5c31d642751d2708c3ecee07617d
author Mickael Istria <mistria@redhat.com> 1644947518 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1645028920 -0500

Bug 507546 - Skip debug value codemining provider without debug launch

No need to crawl files if there is no debug launch running.

Change-Id: I6da47bbe568c88c47a4e61ce184140d945301581
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/190835
Tested-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>