jenkins-bot has submitted this change and it was merged.
Change subject: Send SIGKILL to kill a timed out worker
......................................................................
Send SIGKILL to kill a timed out worker
* The default is SIGTERM.
Change-Id: I64cdd25c1d91e6c7a445922db219c3d110826542
---
M api/server.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Subramanya Sastry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/api/server.js b/api/server.js
index 963f2ee..cff2ff6 100755
--- a/api/server.js
+++ b/api/server.js
@@ -123,7 +123,7 @@
timeouts.delete( msg.reqId );
if ( worker.id in cluster.workers ) {
logger.log( "warning", util.format(
"Cpu timeout; killing worker %s.", pid ) );
- worker.kill();
+ worker.kill("SIGKILL");
spawn();
}
}, msg.timeout));
--
To view, visit https://gerrit.wikimedia.org/r/182644
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I64cdd25c1d91e6c7a445922db219c3d110826542
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/parsoid
Gerrit-Branch: master
Gerrit-Owner: Arlolra <[email protected]>
Gerrit-Reviewer: Cscott <[email protected]>
Gerrit-Reviewer: GWicke <[email protected]>
Gerrit-Reviewer: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
