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 /plt | |
| 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 'plt')
0 files changed, 0 insertions, 0 deletions