function signalCodexAppServerTransport(
child: CodexAppServerTransport,
signal: NodeJS.Signals,
): void { if (child.pid && process.platform !== "win32") { try {
process.kill(-child.pid, signal); return;
} catch { // Fall back to the child handle. The process may already be gone or not // be a process-group leader on older call sites.
}
}
child.kill?.(signal);
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.