diff options
author | Dan Gudmundsson <[email protected]> | 2017-12-18 15:30:39 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-12-18 15:30:39 +0100 |
commit | e038b56530804a3e59cc8832db64e021b4b33d25 (patch) | |
tree | 5e2df4288d7fb376a93edd38e7356696ccc04967 /lib/debugger | |
parent | 3a14bb468b1f3f1f5bef3c18291fe0498429a417 (diff) | |
download | otp-e038b56530804a3e59cc8832db64e021b4b33d25.tar.gz otp-e038b56530804a3e59cc8832db64e021b4b33d25.tar.bz2 otp-e038b56530804a3e59cc8832db64e021b4b33d25.zip |
mnesia: Fix checkpoint crash
Bad timing can cause retain messages to go to a new process if
checkpoint name is reused directly and the checkpoints contain
different tables.
Ignore those messages instead of crash.
Diffstat (limited to 'lib/debugger')
0 files changed, 0 insertions, 0 deletions