diff options
| author | Kevin (Kun) Kassimo Qian <kevinkassimo@gmail.com> | 2019-10-26 15:29:32 -0700 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-10-31 17:11:58 -0700 |
| commit | 9d6cbb73a8dcf63b24630129f47dc98d3cc735d5 (patch) | |
| tree | 78406de8a8c7340d19fe86bc70b6fa841da009a0 /tools/lint.py | |
| parent | d7a5aed5114f3ffd27221ae97bc57f453410427e (diff) | |
cli: replace timer map with red-black tree (#3218)
This avoids a crash when the Deno process has been running for
2**32 ms (about 50 days). Additionaly, time complexity of finding which
timer is due to fire next is reduced from from O(n) to O(log n).
Diffstat (limited to 'tools/lint.py')
0 files changed, 0 insertions, 0 deletions