diff options
author | Hans Bolinder <[email protected]> | 2012-07-03 13:03:40 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2012-07-03 13:03:40 +0200 |
commit | 14f6a66f6410e1665ad39e95158420b0a45634d6 (patch) | |
tree | f3529e6e9d51bc5ca7f65a2405d1bdce0d713ac0 /lib/kernel/src/disk_log.erl | |
parent | 3b34580548d5060bae35a0f787e1c80b4a294123 (diff) | |
parent | 5c32f2221c6b6d0e1e358aca113e4a2f40b50829 (diff) | |
download | otp-14f6a66f6410e1665ad39e95158420b0a45634d6.tar.gz otp-14f6a66f6410e1665ad39e95158420b0a45634d6.tar.bz2 otp-14f6a66f6410e1665ad39e95158420b0a45634d6.zip |
Merge branch 'hb/kernel/fix_spec_disk_log/OTP-10131' into maint
* hb/kernel/fix_spec_disk_log/OTP-10131:
Correct the type of the disk log header
Diffstat (limited to 'lib/kernel/src/disk_log.erl')
-rw-r--r-- | lib/kernel/src/disk_log.erl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/kernel/src/disk_log.erl b/lib/kernel/src/disk_log.erl index f5f972c112..5b1efcd395 100644 --- a/lib/kernel/src/disk_log.erl +++ b/lib/kernel/src/disk_log.erl @@ -282,7 +282,8 @@ change_notify(Log, Pid, NewNotify) -> -spec change_header(Log, Header) -> 'ok' | {'error', Reason} when Log :: log(), - Header :: {head, dlog_head_opt()} | {head_func, mfa()}, + Header :: {head, dlog_head_opt()} + | {head_func, MFA :: {atom(), atom(), list()}}, Reason :: no_such_log | nonode | {read_only_mode, Log} | {blocked_log, Log} | {badarg, head}. change_header(Log, NewHead) -> @@ -336,7 +337,9 @@ format_error(Error) -> ok | {blocked, QueueLogRecords :: boolean()}} | {node, Node :: node()} | {distributed, Dist :: local | [node()]} - | {head, Head :: none | {head, term()} | mfa()} + | {head, Head :: none + | {head, term()} + | (MFA :: {atom(), atom(), list()})} | {no_written_items, NoWrittenItems ::non_neg_integer()} | {full, Full :: boolean} | {no_current_bytes, non_neg_integer()} |