diff options
| author | Siri Hansen <[email protected]> | 2016-05-25 10:29:18 +0200 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2016-05-25 10:29:18 +0200 |
| commit | c126081ca43145412f72a1b5cbae6919c22de28e (patch) | |
| tree | 08bcc80af6e069b21458e8a02713656bd7c053a9 /lib/runtime_tools | |
| parent | 90bd9b2921f61854771ba2924abd05fa32d46b1f (diff) | |
| parent | 44d5789619c70863af918ee5e2bdd7d411e68e80 (diff) | |
| download | otp-c126081ca43145412f72a1b5cbae6919c22de28e.tar.gz otp-c126081ca43145412f72a1b5cbae6919c22de28e.tar.bz2 otp-c126081ca43145412f72a1b5cbae6919c22de28e.zip | |
Merge branch 'josevalim/supervisor-try-again-restart/PR-1001/OTP-13618'
* josevalim/supervisor-try-again-restart/PR-1001/OTP-13618:
Avoid potential timer bottleneck on supervisor restart
Diffstat (limited to 'lib/runtime_tools')
0 files changed, 0 insertions, 0 deletions