types: added comments

This commit is contained in:
wukko
2023-11-06 01:37:27 +00:00
committed by dumbmoron
parent fb69dbdb4f
commit b662f472dd
+2
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);
}