(command, args, elapsedMs)
| 1828 | } |
| 1829 | |
| 1830 | function recordCommandTiming(command, args, elapsedMs) { |
| 1831 | if (!activeTiming) { |
| 1832 | return; |
| 1833 | } |
| 1834 | activeTiming.commandMs += elapsedMs; |
| 1835 | if (command === simdeck && args.includes("describe")) { |
| 1836 | activeTiming.describeUiMs += elapsedMs; |
| 1837 | } |
| 1838 | } |
| 1839 | |
| 1840 | async function httpJson(method, requestPath, body, options = {}) { |
| 1841 | const buffer = await httpBuffer(method, requestPath, body, options); |