X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2FObj%2Fbrisk.phh;h=add31a772c1c653836ff67190ab35649195fa312;hb=19ce01ca763746cd34934940c4c4ed962e2449bc;hp=543a57ef7886986371cfca25a0db7ada56f37ae2;hpb=712bcb053a139bd4b537b6236ea8bae3128ce293;p=brisk.git

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 543a57e..add31a7 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -768,6 +768,7 @@ class Room {
 	    else {
 	      log_main("ERROR: table ".$table_idx." unrecoverable join");
 	    }
+	    Briskin5::unlock_data($sem);
 	  } // bri::lock_data
 	} //  if ($table_cur->player_n == PLAYERS_N) {
       } //  for ($table_idx = 0 ; $table_idx < TABLES_N ; $table_idx++) {