clone/codex
1
0
Fork 0
mirror of https://github.com/openai/codex.git synced 2026-04-29 00:55:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check app-server env on the server side

Browse Source 
Co-authored-by: Codex <noreply@openai.com>
This commit is contained in:
Michael Fan
2026-03-27 14:50:08 -04:00
parent 2bf85d232a
commit efc0fa1880
17 changed files with 196 additions and 150 deletions
Download Patch File Download Diff File Expand all files Collapse all files

68
codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
View File

@@ -462,13 +462,13 @@
},
"method": {
"enum": [
"thread/dependencyEnv/contains"
"thread/env/contains"
],
"title": "Thread/dependencyEnv/containsRequestMethod",
"title": "Thread/env/containsRequestMethod",
"type": "string"
},
"params": {
"$ref": "#/definitions/v2/ThreadDependencyEnvContainsParams"
"$ref": "#/definitions/v2/ThreadEnvContainsParams"
}
},
"required": [
@@ -476,7 +476,7 @@
"method",
"params"
],
"title": "Thread/dependencyEnv/containsRequest",
"title": "Thread/env/containsRequest",
"type": "object"
},
{
@@ -12207,36 +12207,6 @@
"title": "ThreadCompactStartResponse",
"type": "object"
},
"ThreadDependencyEnvContainsParams": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"key": {
"type": "string"
},
"threadId": {
"type": "string"
}
},
"required": [
"key",
"threadId"
],
"title": "ThreadDependencyEnvContainsParams",
"type": "object"
},
"ThreadDependencyEnvContainsResponse": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"contains": {
"type": "boolean"
}
},
"required": [
"contains"
],
"title": "ThreadDependencyEnvContainsResponse",
"type": "object"
},
"ThreadDependencyEnvSetParams": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
@@ -12262,6 +12232,36 @@
"title": "ThreadDependencyEnvSetResponse",
"type": "object"
},
"ThreadEnvContainsParams": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"key": {
"type": "string"
},
"threadId": {
"type": "string"
}
},
"required": [
"key",
"threadId"
],
"title": "ThreadEnvContainsParams",
"type": "object"
},
"ThreadEnvContainsResponse": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"contains": {
"type": "boolean"
}
},
"required": [
"contains"
],
"title": "ThreadEnvContainsResponse",
"type": "object"
},
"ThreadForkParams": {
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "There are two ways to fork a thread: 1. By thread_id: load the thread from disk by thread_id and fork it into a new thread. 2. By path: load the thread from disk by path and fork it into a new thread.\n\nIf using path, the thread_id param will be ignored.\n\nPrefer using thread_id whenever possible.",