| { | |
| "$schema": "http://json-schema.org/draft-07/schema#", | |
| "description": "Terminate a running `command/exec` session.", | |
| "properties": { | |
| "processId": { | |
| "description": "Client-supplied, connection-scoped `processId` from the original `command/exec` request.", | |
| "type": "string" | |
| } | |
| }, | |
| "required": [ | |
| "processId" | |
| ], | |
| "title": "CommandExecTerminateParams", | |
| "type": "object" | |
| } |