| 1152 | " \"name\": \"bash_status\",\n" |
| 1153 | " \"description\": \"Report current status and recent output for a bash job.\",\n" |
| 1154 | " \"parameters\": {\n" |
| 1155 | " \"type\": \"object\",\n" |
| 1156 | " \"properties\": {\n" |
| 1157 | " \"job\": {\"type\": \"integer\"},\n" |
| 1158 | " \"pid\": {\"type\": \"integer\"},\n" |
| 1159 | " \"refresh_sec\": {\"type\": \"integer\"}\n" |
| 1160 | " },\n" |
| 1161 | " \"required\": [\"job\"]\n" |
| 1162 | " }\n" |
| 1163 | " }\n" |
| 1164 | "}\n\n" |
| 1165 | "{\n" |
| 1166 | " \"type\": \"function\",\n" |
| 1167 | " \"function\": {\n" |
| 1168 | " \"name\": \"bash_stop\",\n" |
| 1169 | " \"description\": \"Terminate a running bash job and report its final output.\",\n" |
no test coverage detected