506
const record = client ? this._clients.get(client.clientId) : undefined;
507
if (client && record?.state === 'active') {
509
>
if (connectionIndex !== -1) {
510
>
const subscriptionCount = client.subscriptions.size;
511
>
record.connections.splice(connectionIndex, 1);
512
>
this._releaseClientSubscriptions(client, record);
513
>
this._rejectPendingReverseRequestsForConnection(client);
514
>
if (record.connections.length === 0) {
515
this._logService.info(`[ProtocolServer] Client disconnected: ${client.clientId}, subscriptions=${subscriptionCount}`);
516
this._clients.set(client.clientId, { state: 'grace', lastSeenAt: Date.now(), disconnectTimeouts: new DisposableMap() });