terminate execution immediately upon executor quit, instead of possibly running one last cycle
Merge branch 'development' into gumbo