types: added comments

This commit is contained in:
wukko 2023-11-06 06:44:34 +06:00
parent 33072003bc
commit 758bb8fef7

View file

@ -16,9 +16,11 @@ function closeResponse(res) {
}
function killProcess(p) {
// ask the process to terminate itself gracefully
p?.kill('SIGTERM');
setTimeout(() => {
if (p?.exitCode === null)
// brutally murder the process if it didn't quit
p?.kill('SIGKILL');
}, 5000);
}