@yusukeshib/pi-babysit 0.3.2 → 0.3.3
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/index.ts +3 -0
- package/package.json +1 -1
package/index.ts
CHANGED
|
@@ -1445,6 +1445,9 @@ export default function (pi: ExtensionAPI) {
|
|
|
1445
1445
|
let quickStatus = await statusOf(res.id);
|
|
1446
1446
|
let retried = false;
|
|
1447
1447
|
if (params.retryOnWorkerDeath && quickStatus?.state === "dead" && quickStatus.exit_code == null) {
|
|
1448
|
+
// This attempt is already represented by the retrying tool result; do
|
|
1449
|
+
// not let the exit poller emit a second, stale completion message.
|
|
1450
|
+
suppressNotify(res.id);
|
|
1448
1451
|
const retry = await spawnProcess(spawnOpts);
|
|
1449
1452
|
if (!("error" in retry)) {
|
|
1450
1453
|
res = retry;
|