mirror of
https://github.com/getpaseo/paseo.git
synced 2026-07-29 12:01:31 +00:00
23 lines
871 B
Diff
23 lines
871 B
Diff
diff --git a/node_modules/@openai/codex-sdk/dist/index.js b/node_modules/@openai/codex-sdk/dist/index.js
|
|
index 12a2975..99f61c1 100644
|
|
--- a/node_modules/@openai/codex-sdk/dist/index.js
|
|
+++ b/node_modules/@openai/codex-sdk/dist/index.js
|
|
@@ -238,7 +238,16 @@ var CodexExec = class {
|
|
rl.close();
|
|
child.removeAllListeners();
|
|
try {
|
|
- if (!child.killed) child.kill();
|
|
+ // Use SIGINT to request a graceful shutdown and fall back to SIGKILL if it hangs.
|
|
+ if (child.exitCode === null && !child.killed) {
|
|
+ const forceKillTimer = setTimeout(() => {
|
|
+ if (child.exitCode === null && !child.killed) {
|
|
+ child.kill("SIGKILL");
|
|
+ }
|
|
+ }, 3e3);
|
|
+ child.once("exit", () => clearTimeout(forceKillTimer));
|
|
+ child.kill("SIGINT");
|
|
+ }
|
|
} catch {
|
|
}
|
|
}
|