If a PHP script locks a MySQL table, then dies with an unexpected error, is the table left in a locked state?