GPUdb.kill_proc( run_id = '', options = {} )
Kills a running proc instance.
Input Parameter Description
| Name | Type | Description |
|---|---|---|
| run_id | str | The run ID of the running proc instance. If the run ID is not found or the proc instance has already completed, this does nothing. If not specified, all running proc instances will be killed. Default value is ''. |
| options | dict of str | Optional parameters. Default value is an empty dict ( {} ). |
Output Parameter Description
| Name | Type | Description |
|---|---|---|
| run_ids | list of str | List of run IDs of proc instances that were killed. |