(task, ms)
| 2441 | } |
| 2442 | } |
| 2443 | function markTaskErrored(task, ms) { |
| 2444 | { |
| 2445 | profilingState[PRIORITY] = NoPriority; |
| 2446 | profilingState[CURRENT_TASK_ID] = 0; |
| 2447 | profilingState[QUEUE_SIZE]--; |
| 2448 | |
| 2449 | if (eventLog !== null) { |
| 2450 | logEvent([TaskErrorEvent, ms * 1000, task.id]); |
| 2451 | } |
| 2452 | } |
| 2453 | } |
| 2454 | function markTaskRun(task, ms) { |
| 2455 | { |
| 2456 | runIdCounter++; |