spotify/luigi — pull request #442 by erikbern (2014-09-10 13:24:08+00:00)
Title: Catch dead child processes

See discussion in #440

Please don't merge this yet - the control structure is pretty complicated, so I want to refactor this a bit.