Fix bug where dead nodes weren't properly handled by system scheduler#1715

Merged

dadgar merged 1 commit intomasterfrom b-dead-system-nodes

Sep 19, 2016

+116-24

Commits on Sep 19, 2016

Fix bug in which dead nodes weren't being properly handled by system scheduler
dadgar
committed