TeamAmalgam/worker — pull request #22 by cpkleynhans (2013-06-16 21:48:28+00:00)
Title: Fix workers dying when no solutions are found. Fixes #20

Fixes #20

Reviewers: @mhyee