diff options
| author | Dan Gudmundsson <[email protected]> | 2014-04-11 10:06:23 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-04-11 10:06:23 +0200 |
| commit | ba6b3c236c690f478d274bfd678cb8b3cec97c52 (patch) | |
| tree | e730bd68ebca3e8013489f0cced137f67013767a /lib/kernel/src/code_server.erl | |
| parent | bee0ea4125e8b47478b77904bee06f8f38bbab42 (diff) | |
| download | otp-ba6b3c236c690f478d274bfd678cb8b3cec97c52.tar.gz otp-ba6b3c236c690f478d274bfd678cb8b3cec97c52.tar.bz2 otp-ba6b3c236c690f478d274bfd678cb8b3cec97c52.zip | |
mnesia: Fix timing issue
Be sure to gather release_tid msgs even though we have a mnesia_down
in the queue.
Diffstat (limited to 'lib/kernel/src/code_server.erl')
0 files changed, 0 insertions, 0 deletions