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);
}
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet am 2026-06-10)
¤
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.
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.