fix: debug configuration provider replaces different provider (eclips…

…e-theia#13196) Signed-off-by: arekzaluski <arkadiusz.zaluski@arm.com>
ARMmbed · Dec 22, 2023 · df72e6a · df72e6a
1 parent 248358d
commit df72e6a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/packages/plugin-ext/src/main/browser/debug/plugin-debug-service.ts b/packages/plugin-ext/src/main/browser/debug/plugin-debug-service.ts
@@ -97,6 +97,13 @@ export class PluginDebugService implements DebugService {
     }, 100);
 
     registerDebugConfigurationProvider(provider: PluginDebugConfigurationProvider): Disposable {
+        if (this.configurationProviders.has(provider.handle)) {
+            const configuration = this.configurationProviders.get(provider.handle);
+            if (configuration && configuration.type !== provider.type) {
+                console.warn(`Different debug configuration provider with type '${configuration.type}' already registered.`);
+                provider.handle = this.configurationProviders.size;
+            }
+        }
         const handle = provider.handle;
         this.configurationProviders.set(handle, provider);
         this.fireOnDidConfigurationProvidersChanged();