Fix deprecated serverProcess.killed usage

Co-authored-by: syuilo <4439005+syuilo@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-12-03 03:18:02 +00:00
parent 56fa2c2617
commit 4ce7e87b15
1 changed files with 6 additions and 2 deletions

View File

@ -118,11 +118,15 @@ async function measureMemory() {
serverProcess.kill('SIGTERM'); serverProcess.kill('SIGTERM');
// Wait for process to exit // Wait for process to exit
let exited = false;
await new Promise((resolve) => { await new Promise((resolve) => {
serverProcess.on('exit', resolve); serverProcess.on('exit', () => {
exited = true;
resolve(undefined);
});
// Force kill after 10 seconds if not exited // Force kill after 10 seconds if not exited
setTimeout(10000).then(() => { setTimeout(10000).then(() => {
if (!serverProcess.killed) { if (!exited) {
serverProcess.kill('SIGKILL'); serverProcess.kill('SIGKILL');
} }
resolve(undefined); resolve(undefined);