Use timer tools instead of app-server timer APIs

This commit is contained in:
Eric Traut
2026-04-08 21:06:13 -07:00
parent 2f0a7c0c90
commit 1475f41b01
30 changed files with 50 additions and 2282 deletions

View File

@@ -3212,70 +3212,6 @@
],
"type": "object"
},
"TimerDelivery": {
"enum": [
"after-turn",
"steer-current-turn"
],
"type": "string"
},
"TimerTrigger": {
"oneOf": [
{
"properties": {
"kind": {
"enum": [
"delay"
],
"type": "string"
},
"repeat": {
"type": [
"boolean",
"null"
]
},
"seconds": {
"format": "uint64",
"minimum": 0.0,
"type": "integer"
}
},
"required": [
"kind",
"seconds"
],
"type": "object"
},
{
"properties": {
"dtstart": {
"type": [
"string",
"null"
]
},
"kind": {
"enum": [
"schedule"
],
"type": "string"
},
"rrule": {
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"title": "KindTimerTrigger",
"type": "object"
}
]
},
"TurnInterruptParams": {
"properties": {
"threadId": {