(task, ms)
| 3239 | } |
| 3240 | } |
| 3241 | function markTaskErrored(task, ms) { |
| 3242 | { |
| 3243 | profilingState[PRIORITY] = NoPriority; |
| 3244 | profilingState[CURRENT_TASK_ID] = 0; |
| 3245 | profilingState[QUEUE_SIZE]--; |
| 3246 | |
| 3247 | if (eventLog !== null) { |
| 3248 | logEvent([TaskErrorEvent, ms * 1000, task.id]); |
| 3249 | } |
| 3250 | } |
| 3251 | } |
| 3252 | function markTaskRun(task, ms) { |
| 3253 | { |
| 3254 | runIdCounter++; |