mirror of
https://github.com/openai/codex.git
synced 2026-04-25 07:05:38 +00:00
8a13f82204
It's easier for clients to maintain watchers if they define the watch id, so move it into the request. It's not used yet, so should be a safe change.
29 lines
1.0 KiB
JSON
Generated
29 lines
1.0 KiB
JSON
Generated
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"definitions": {
|
|
"AbsolutePathBuf": {
|
|
"description": "A path that is guaranteed to be absolute and normalized (though it is not guaranteed to be canonicalized or exist on the filesystem).\n\nIMPORTANT: When deserializing an `AbsolutePathBuf`, a base path must be set using [AbsolutePathBufGuard::new]. If no base path is set, the deserialization will fail unless the path being deserialized is already absolute.",
|
|
"type": "string"
|
|
}
|
|
},
|
|
"description": "Filesystem watch notification emitted for `fs/watch` subscribers.",
|
|
"properties": {
|
|
"changedPaths": {
|
|
"description": "File or directory paths associated with this event.",
|
|
"items": {
|
|
"$ref": "#/definitions/AbsolutePathBuf"
|
|
},
|
|
"type": "array"
|
|
},
|
|
"watchId": {
|
|
"description": "Watch identifier previously provided to `fs/watch`.",
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [
|
|
"changedPaths",
|
|
"watchId"
|
|
],
|
|
"title": "FsChangedNotification",
|
|
"type": "object"
|
|
} |