diff options
| author | Dan Gudmundsson <[email protected]> | 2017-12-15 12:25:08 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-12-19 12:02:39 +0100 |
| commit | af26ced299686400df79d32bf946081355e02aa2 (patch) | |
| tree | 21597386820d7b870b1114b0a5147707c00eaa8e /.dir-locals.el | |
| parent | 7f6ac587f47bd115604c7c9d1504e66cafffd265 (diff) | |
| download | otp-af26ced299686400df79d32bf946081355e02aa2.tar.gz otp-af26ced299686400df79d32bf946081355e02aa2.tar.bz2 otp-af26ced299686400df79d32bf946081355e02aa2.zip | |
Turn on scheduler_wall_time in an alive process
scheduler_wall_time is ref-counted so it will turn off
if process dies, keep the process that turns it on alive.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions