diff options
author | Björn-Egil Dahlberg <[email protected]> | 2016-02-22 16:59:49 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2016-02-23 16:17:13 +0100 |
commit | f623b7430ec8f7bc48770953b32a486816ad6eb1 (patch) | |
tree | 242ba6f5b331f821ff7a2ca8b7a510981b403937 /lib/parsetools/doc/man3/.gitignore | |
parent | bfdc47eca9d322680ccda988e4a1fae57f433e48 (diff) | |
download | otp-f623b7430ec8f7bc48770953b32a486816ad6eb1.tar.gz otp-f623b7430ec8f7bc48770953b32a486816ad6eb1.tar.bz2 otp-f623b7430ec8f7bc48770953b32a486816ad6eb1.zip |
kernel: Add builtin scheduler check for heart
In addition, the heart API is extended with the following functions:
* heart:set_options/1
* heart:get_options/0
If heart:set_options([scheduler]) is set, heart will check
scheduler responsiveness before every heartbeat to the heart port.
Diffstat (limited to 'lib/parsetools/doc/man3/.gitignore')
0 files changed, 0 insertions, 0 deletions