gem/oq-engine — pull request #1403 by micheles (2014-04-03 15:01:07+00:00)
Title: Cluster monitor

See https://bugs.launchpad.net/oq-engine/+bug/1292606. The solution proposed here is a monitor thread pinging the workers and killing the main process if some node dies.