- log_main("DESTROY2 BRISKIN5 DATA");
-
- if (($tok = @ftok(FTOK_PATH."/bin5/table".$table_idx."/table", "B")) == -1)
+ log_main("DESTROY2 BRISKIN5 DATA [".$this->table_idx."]");
+ for ($i = 0 ; $i < BIN5_PLAYERS_N ; $i++) {
+ $this->user[$i]->destroy_data($this->table_idx);
+ Bin5_user::unproxy_step($this->table_idx, $this->user[$i]->sess);
+ }
+ if (($tok = @ftok(FTOK_PATH."/bin5/table".$this->table_idx."/table", "B")) == -1)