Fix memory leak in Timer
commit6ed703c89d9f277180605d89163ac603ed3b8cce
authorAndrew Kennedy <akenn@fb.com>
Tue, 26 Jan 2021 08:59:40 +0000 (26 00:59 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 26 Jan 2021 09:01:54 +0000 (26 01:01 -0800)
treee52b8b78aea5094278a338b4f473f70882671796
parent8d73474fc13aa9c791bcc8140b646b73caa4300b
Fix memory leak in Timer

Summary: There is a memory leak in `Timer.get_next_timer` that shows up in long-running instances of `hh_server`.

Reviewed By: mroch

Differential Revision: D26056385

fbshipit-source-id: 444dc7c00bc42ce2cbd403483a06f358b153017e
hphp/hack/src/utils/sys/timer.ml