(where: string, code: number, detail: string)
| 347 | } |
| 348 | |
| 349 | function failWith(where: string, code: number, detail: string): void { |
| 350 | if (frameAudit.enabled) { |
| 351 | frameAudit.emit("fatal", { where, code, detail }); |
| 352 | } |
| 353 | const err = new ZrUiError("ZRUI_BACKEND_ERROR", `${where} (${String(code)}): ${detail}`); |
| 354 | fatal = err; |
| 355 | rejectWaiters(err); |
| 356 | } |
| 357 | |
| 358 | function clearPollLoop(): void { |
| 359 | if (pollTimer !== null) { |
no test coverage detected