<div dir="ltr"><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:12.727272033691406px">git fetch git://</span><a href="http://github.com/spawnthink/otp.git" target="_blank" style="font-family:arial,sans-serif;font-size:12.727272033691406px">github.com/spawnthink/otp.git</a><span style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:12.727272033691406px"> </span><font color="#000000" face="arial, sans-serif">fix_mnesia_block_table</font><br style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:12.727272033691406px">
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div><div><font color="#000000" face="arial, sans-serif">Fix crash in mnesia_controller due to a function_clause exception from is_tab_blocked/1</font></div>
<div><font color="#000000" face="arial, sans-serif"><br></font></div><div><font color="#000000" face="arial, sans-serif">If mnesia_controller:block_table/1 is called twice for same table,</font></div><div><font color="#000000" face="arial, sans-serif">the new stored value of {Tab, where_to_commit} will be {blocked, {blocked,List}}.</font></div>
<div><font color="#000000" face="arial, sans-serif">This will result in an exception when calling is_tab_blocked/1.</font></div><div><font color="#000000" face="arial, sans-serif">mnesia_conttoller:block_table/1 should check if the table is already blocked.</font></div>
</div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div><font color="#000000" face="arial, sans-serif"><a href="https://github.com/spawnthink/otp/compare/fix_mnesia_block_table.patch">https://github.com/spawnthink/otp/compare/fix_mnesia_block_table.patch</a></font><br>
</div><div><font color="#000000" face="arial, sans-serif"><a href="https://github.com/spawnthink/otp/compare/fix_mnesia_block_table">https://github.com/spawnthink/otp/compare/fix_mnesia_block_table</a></font><br></div><div>
<font color="#000000" face="arial, sans-serif"><br></font></div><div style><font color="#000000" face="arial, sans-serif">Best Regards,</font></div><div style><font color="#000000" face="arial, sans-serif">Ahmed Omar</font></div>
</div>