(
task: {
id: number,
priorityLevel: PriorityLevel,
...
},
ms: number,
)
| 91 | } |
| 92 | |
| 93 | export function markTaskCompleted( |
| 94 | task: { |
| 95 | id: number, |
| 96 | priorityLevel: PriorityLevel, |
| 97 | ... |
| 98 | }, |
| 99 | ms: number, |
| 100 | ) { |
| 101 | if (enableProfiling) { |
| 102 | if (eventLog !== null) { |
| 103 | logEvent([TaskCompleteEvent, ms * 1000, task.id]); |
| 104 | } |
| 105 | } |
| 106 | } |
| 107 | |
| 108 | export function markTaskCanceled( |
| 109 | task: { |