saltstack/salt — pull request #3033 by s0undt3ch (2012-12-27 09:00:12+00:00)
Title: Fix some "`NameError`s" introduced when fixing #3015. Fixes #3032.

* Fix some "`NameError`s" introduced when fixing #3015. Fixes #3032.
* Additionally also terminate worker processes on `.destroy()`.