4381
4382
constructor(
4384
>
pluginController: SessionPluginController,
4385
>
onDidSessionProgress: Emitter<AgentSignal>,
4386
>
@IAgentConfigurationService private readonly _configurationService: IAgentConfigurationService,
4387
>
) {
4388
>
super();
4389
>
this.pluginController = this._register(pluginController);
4390
>
// Forward per-session publish events into the agent's progress
4391
>
// stream. This replaces the previous clientId-based routing.
4392
>
this._register(this.pluginController.onDidPublish(action => {
4393
onDidSessionProgress.fire({ kind: 'action', resource: this._sessionUri, action });
4395
>
}
4396
4397
/** Get (or lazily create) the stable handle for `clientId`. */