Also it seems like the error() message in TaskSetManager should also maybe be renamed -- since being killed by the user isn't really an error