diff --git a/src/Misc/layoutbin/RunnerService.js b/src/Misc/layoutbin/RunnerService.js index 5311d2cd1..f5160acd4 100644 --- a/src/Misc/layoutbin/RunnerService.js +++ b/src/Misc/layoutbin/RunnerService.js @@ -82,7 +82,8 @@ var gracefulShutdown = function (code) { console.log('Sending SIGINT to runner listener to stop'); listener.kill('SIGINT'); - // TODO wait for 30 seconds and send a SIGKILL + console.log('Sending SIGKILL to runner listener'); + setTimeout(() => listener.kill('SIGKILL'), 30000); } }