#!/bin/bash
destroyworker() {
	dyingworker=${workers[$1]}
	unset workers[$1]
	wait $dyingworker
}
