(task, ms)
| 3219 | } |
| 3220 | } |
| 3221 | function markTaskCompleted(task, ms) { |
| 3222 | { |
| 3223 | profilingState[PRIORITY] = NoPriority; |
| 3224 | profilingState[CURRENT_TASK_ID] = 0; |
| 3225 | profilingState[QUEUE_SIZE]--; |
| 3226 | |
| 3227 | if (eventLog !== null) { |
| 3228 | logEvent([TaskCompleteEvent, ms * 1000, task.id]); |
| 3229 | } |
| 3230 | } |
| 3231 | } |
| 3232 | function markTaskCanceled(task, ms) { |
| 3233 | { |
| 3234 | profilingState[QUEUE_SIZE]--; |