interface KillProcResponse
info: Record<string, string>;
request_time_secs?: number;
run_ids: string[];
info: Record<string, string>;
request_time_secs?: number;
run_ids: string[];
- Defined in src/types.ts:3908
Properties
Properties
Optionalrequest_time_secs
request_time_secs?: number
Server-reported request time in seconds, when it sent one
- Defined in src/types.ts:3914
run_ids
run_ids: string[]
List of run IDs of proc instances that were killed.
- Defined in src/types.ts:3910
Additional information.