pi-mcp-extension 1.5.1 → 1.5.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/src/server-manager.ts +25 -11
package/package.json
CHANGED
package/src/server-manager.ts
CHANGED
|
@@ -369,20 +369,19 @@ export class ServerManager {
|
|
|
369
369
|
try { await client.ping(); }
|
|
370
370
|
catch {
|
|
371
371
|
if (signal.aborted) return;
|
|
372
|
-
|
|
373
|
-
await this._shutdown(server);
|
|
374
|
-
if (server.generation === recoveryGeneration) {
|
|
375
|
-
// An external stop during cleanup increments the generation again.
|
|
376
|
-
queueMicrotask(() => {
|
|
377
|
-
if (server.generation !== recoveryGeneration) return;
|
|
378
|
-
void this.startServer(server.name, cwd).catch((error) => {
|
|
379
|
-
server.lastError = error instanceof Error ? error : new Error(String(error));
|
|
380
|
-
});
|
|
381
|
-
});
|
|
382
|
-
}
|
|
372
|
+
await this._recover(server, cwd);
|
|
383
373
|
}
|
|
384
374
|
}, server.config.healthCheckIntervalMs);
|
|
385
375
|
}
|
|
376
|
+
// Unexpected transport close (e.g. the server subprocess crashes
|
|
377
|
+
// mid-session). Without this the state would stay "ready" and tools
|
|
378
|
+
// would remain active against a dead server. Deliberate closes abort
|
|
379
|
+
// the signal first, so they are ignored here.
|
|
380
|
+
client.onclose = () => {
|
|
381
|
+
if (signal.aborted || server.client !== client) return;
|
|
382
|
+
console.error(`[pi-mcp] Server ${server.name} closed unexpectedly, reconnecting`);
|
|
383
|
+
void this._recover(server, cwd);
|
|
384
|
+
};
|
|
386
385
|
} catch (err) {
|
|
387
386
|
try { await client.close(); } catch { /* best effort */ }
|
|
388
387
|
if (server.client === client) { server.client = null; server.childPid = null; }
|
|
@@ -410,6 +409,21 @@ export class ServerManager {
|
|
|
410
409
|
}
|
|
411
410
|
}
|
|
412
411
|
|
|
412
|
+
/** Tear down a server that died or stopped responding, then reconnect. */
|
|
413
|
+
private async _recover(server: ManagedServer, cwd: string): Promise<void> {
|
|
414
|
+
const recoveryGeneration = (server.generation ?? 0) + 1;
|
|
415
|
+
await this._shutdown(server);
|
|
416
|
+
if (server.generation === recoveryGeneration) {
|
|
417
|
+
// An external stop during cleanup increments the generation again.
|
|
418
|
+
queueMicrotask(() => {
|
|
419
|
+
if (server.generation !== recoveryGeneration) return;
|
|
420
|
+
void this.startServer(server.name, cwd).catch((error) => {
|
|
421
|
+
server.lastError = error instanceof Error ? error : new Error(String(error));
|
|
422
|
+
});
|
|
423
|
+
});
|
|
424
|
+
}
|
|
425
|
+
}
|
|
426
|
+
|
|
413
427
|
private async _shutdown(server: ManagedServer): Promise<void> {
|
|
414
428
|
server.controller?.abort();
|
|
415
429
|
server.generation = (server.generation ?? 0) + 1;
|