(task, ms)
| 2421 | } |
| 2422 | } |
| 2423 | function markTaskCompleted(task, ms) { |
| 2424 | { |
| 2425 | profilingState[PRIORITY] = NoPriority; |
| 2426 | profilingState[CURRENT_TASK_ID] = 0; |
| 2427 | profilingState[QUEUE_SIZE]--; |
| 2428 | |
| 2429 | if (eventLog !== null) { |
| 2430 | logEvent([TaskCompleteEvent, ms * 1000, task.id]); |
| 2431 | } |
| 2432 | } |
| 2433 | } |
| 2434 | function markTaskCanceled(task, ms) { |
| 2435 | { |
| 2436 | profilingState[QUEUE_SIZE]--; |