This task is in connection with changing WorkflowManager to correctly handle workflows that complete, as well as those that experience a KeyboardInterrupt, both with or without the delete_on_finish flag. The two key goals of this task are:
Provide an API for cancelling a workflow (I think this essentially just looks like calling suspend on a workflow and then calling remove_workflow).
make remove_workflow public (i.e., forget a completed workflow).
make one method for removing a workflow (remove_workflow), and one for deleting a workflow (delete_workflow). Deleting a workflow should wipe out its JSON entirely, not just clear it from the WorkflowManager's memory environment.
This task is in connection with changing
WorkflowManagerto correctly handle workflows that complete, as well as those that experience aKeyboardInterrupt, both with or without thedelete_on_finishflag. The two key goals of this task are:remove_workflow).remove_workflowpublic (i.e., forget a completed workflow).remove_workflow), and one for deleting a workflow (delete_workflow). Deleting a workflow should wipe out its JSON entirely, not just clear it from theWorkflowManager's memory environment.