Handle graceful worker termination#517

Benjamin Elder (BenTheElder) merged 7 commits into

agent-substrate:mainagent-substrate/substrate:mainfrom

sfunkenhauser:worker_graceful_terminationsfunkenhauser/substrate:worker_graceful_terminationCopy head branch name to clipboard