wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

When the main server process is killed, kill the children too

Browse source 
Change-Id: If07a8c290d5c1d4ac977222fe8cd25ef345c4132
This commit is contained in:
Catrope 2012-07-14 16:07:43 -07:00
parent 235739e253
commit c79b62f869
1 changed files with 20 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
api/server.js
View file

@ -17,10 +17,27 @@ if (cluster.isMaster) {
}
cluster.on('death', function(worker) {
console.log('worker ' + worker.pid + ' died, restarting.');
// restart worker
cluster.fork();
if(!worker.suicide) {
console.log('worker ' + worker.pid + ' died, restarting.');
// restart worker
cluster.fork();
}
});
process.on('SIGTERM', function() {
console.log('master shutting down, killing workers');
for(var i = 0; i < workers.length; i++) {
console.log('Killing worker ' + i + ' with PID ' + workers[i].pid);
// disconnect() doesn't work for some reason
//workers[i].disconnect();
workers[i].kill('SIGTERM');
}
console.log('Done killing workers, bye');
process.exit(1);
} );
} else {
process.on('SIGTERM', function() {
console.log('Worker shutting down');
process.exit(1);
});
app.listen(8000);
}