|
117 | 117 |
|
118 | 118 | /** |
119 | 119 | * Request to pause the current solver job. |
120 | | - * @returns {Promise<{snapshot: SolverSnapshot|null, meta: EventMeta, analysis: SolverAnalysis|null}|null>} |
| 120 | + * @returns {Promise<{snapshot: SolverSnapshot|null, meta: EventMeta, analysis: SolverAnalysis|null}|void>} |
121 | 121 | */ |
122 | 122 | api.pause = function () { |
123 | 123 | if (pendingPause) return pendingPause.promise; |
|
127 | 127 | return pendingPause.promise; |
128 | 128 | } |
129 | 129 | var jobId = currentJobId(); |
130 | | - if (phase !== 'solving' || !jobId) return Promise.resolve(null); |
| 130 | + if (phase !== 'solving' || !jobId) return Promise.resolve(); |
131 | 131 |
|
132 | 132 | pendingPause = createDeferred(); |
133 | 133 | if (!ensureStreamAttached(runToken, jobId, 'pause')) return pendingPause.promise; |
|
137 | 137 |
|
138 | 138 | /** |
139 | 139 | * Resume a paused solver job. |
140 | | - * @returns {Promise<EventMeta|null>} |
| 140 | + * @returns {Promise<EventMeta|void>} |
141 | 141 | */ |
142 | 142 | api.resume = function () { |
143 | 143 | if (pendingResume) return pendingResume.promise; |
144 | 144 | var jobId = currentJobId(); |
145 | | - if (phase !== 'paused' || !jobId) return Promise.resolve(null); |
| 145 | + if (phase !== 'paused' || !jobId) return Promise.resolve(); |
146 | 146 |
|
147 | 147 | pendingResume = createDeferred(); |
148 | 148 | if (!ensureStreamAttached(runToken, jobId, 'resume')) return pendingResume.promise; |
|
152 | 152 |
|
153 | 153 | /** |
154 | 154 | * Request to cancel the current solver job. |
155 | | - * @returns {Promise<{snapshot: SolverSnapshot|null, meta: EventMeta, analysis: SolverAnalysis|null}|null>} |
| 155 | + * @returns {Promise<{snapshot: SolverSnapshot|null, meta: EventMeta, analysis: SolverAnalysis|null}|void>} |
156 | 156 | */ |
157 | 157 | api.cancel = function () { |
158 | 158 | if (pendingCancel) return pendingCancel.promise; |
|
167 | 167 | if (!ensureStreamAttached(runToken, jobId, 'cancel')) return pendingCancel.promise; |
168 | 168 | return pendingCancel.promise; |
169 | 169 | } |
170 | | - if (!jobId || !isCancelablePhase()) return Promise.resolve(null); |
| 170 | + if (!jobId || !isCancelablePhase()) return Promise.resolve(); |
171 | 171 |
|
172 | 172 | pendingCancel = createDeferred(); |
173 | 173 | if (!ensureStreamAttached(runToken, jobId, 'cancel')) return pendingCancel.promise; |
|
0 commit comments