Interface DevboxKillExecutionRequest

interface DevboxKillExecutionRequest {
kill_process_group?: boolean | null;
}

kill_process_group?: boolean | null

Whether to kill the entire process group (default: false). If true, kills all processes in the same process group as the target process.

Properties