diff options
| author | Dan Gudmundsson <[email protected]> | 2016-10-17 12:16:09 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-10-17 12:16:09 +0200 |
| commit | f8c047bb96eff53e5ddaff3d1a00d6a85a990bf3 (patch) | |
| tree | 7d2fe94a27095fc4ebdd6f7bdb55593911cedf82 /configure.in | |
| parent | 82d1b7b4c79cef54f04e062f04b696544609a25b (diff) | |
| download | otp-f8c047bb96eff53e5ddaff3d1a00d6a85a990bf3.tar.gz otp-f8c047bb96eff53e5ddaff3d1a00d6a85a990bf3.tar.bz2 otp-f8c047bb96eff53e5ddaff3d1a00d6a85a990bf3.zip | |
Avoid some error reports when stopping mnesia
Worker processes can cause error reports if the main mnesia processes
dissapear.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions