diff options
| author | 2023-12-28 04:30:37 +0000 | |
|---|---|---|
| committer | 2023-12-28 04:30:53 +0000 | |
| commit | f03de653c7fbc4cfa2d40525c05c743b0531c5a0 (patch) | |
| tree | 396c9ea416bf2f42bfbffd847264d96d54e15624 /api/coverage/tools | |
| parent | 84a49337e48d1ca16642e5559caac5ca6b2c8203 (diff) | |
TaskId=0 is also a valid task id, should not be passed to valueIfKeyNotFound.
When the user 0 exhausts all the MAX_TASK_IDS_PER_USER, the Task#0 is reused. But Task#0 may not be in the split pair.
Change-Id: Ie084deb579d7a3d0e1c1d823f9d1266af7243fdb
Diffstat (limited to 'api/coverage/tools')
0 files changed, 0 insertions, 0 deletions