deleteProc
Deletes a proc. Any currently running instances of the proc will be killed.Parameters:request-Requestobject containing the parameters for the operation.Returns:Responseobject containing the results of the operation.Throws:GPUdbException- if an error occurs during the operation.deleteProc
public DeleteProcResponse deleteProc(String procName, Map<String, String> options) throws GPUdbException Deletes a proc. Any currently running instances of the proc will be killed.Parameters:procName- Name of the proc to be deleted. Must be the name of a currently existing proc.options- Optional parameters. The default value is an emptyMap.Returns:Responseobject containing the results of the operation.Throws:GPUdbException- if an error occurs during the operation.