From 46da23edb18711dad4533f2d153176d3a34a6069 Mon Sep 17 00:00:00 2001 From: Tingluo Huang Date: Tue, 4 Jan 2022 19:02:45 -0500 Subject: [PATCH] Allow script to exit early as soon as runner process exits. (#1580) --- src/Misc/layoutbin/RunnerService.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Misc/layoutbin/RunnerService.js b/src/Misc/layoutbin/RunnerService.js index f5160acd4dc..6574ae0e66a 100644 --- a/src/Misc/layoutbin/RunnerService.js +++ b/src/Misc/layoutbin/RunnerService.js @@ -83,7 +83,7 @@ var gracefulShutdown = function (code) { listener.kill('SIGINT'); console.log('Sending SIGKILL to runner listener'); - setTimeout(() => listener.kill('SIGKILL'), 30000); + setTimeout(() => listener.kill('SIGKILL'), 30000).unref(); } }