(id: string)
| 112 | } |
| 113 | |
| 114 | getMessages(id: string): ProgressMessage[] { |
| 115 | const execution = this.executions.get(id); |
| 116 | return execution?.messages || []; |
| 117 | } |
| 118 | |
| 119 | isCompleted(id: string): boolean { |
| 120 | const execution = this.executions.get(id); |