jenkins-bot has submitted this change and it was merged.
Change subject: Minor whitespace fixes
......................................................................
Minor whitespace fixes
Change-Id: If7989342817ab926cd4d0e8bf1d4e4674b07ffce
---
M Server.js
1 file changed, 5 insertions(+), 5 deletions(-)
Approvals:
KartikMistry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Server.js b/Server.js
index c6e8804..9ae7411 100644
--- a/Server.js
+++ b/Server.js
@@ -18,7 +18,7 @@
cluster.fork();
}
- cluster.on( 'exit', function( worker /*, code, signal */ ) {
+ cluster.on( 'exit', function ( worker /*, code, signal */ ) {
if ( !worker.suicide ) {
var exitCode = worker.process.exitCode;
console.log( 'worker', worker.process.pid,
@@ -27,19 +27,19 @@
}
} );
- process.on( 'SIGTERM', function() {
+ process.on( 'SIGTERM', function () {
console.log( 'master shutting down, killing workers' );
var workers = cluster.workers;
- Object.keys( workers ).forEach( function( id ) {
+ Object.keys( workers ).forEach( function ( id ) {
console.log( 'Killing worker ' + id );
- workers[id].destroy();
+ workers[ id ].destroy();
} );
console.log( 'Done killing workers, bye' );
process.exit( 1 );
} );
} else {
// Worker.
- process.on( 'SIGTERM', function() {
+ process.on( 'SIGTERM', function () {
console.log( 'Worker shutting down' );
process.exit( 1 );
} );
--
To view, visit https://gerrit.wikimedia.org/r/121913
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If7989342817ab926cd4d0e8bf1d4e4674b07ffce
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/cxserver
Gerrit-Branch: master
Gerrit-Owner: Santhosh <santhosh.thottin...@gmail.com>
Gerrit-Reviewer: KartikMistry <kartik.mis...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
