X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbriskin5%2FObj%2Fbriskin5.phh;h=f2147d6e342a50829b2a221604faae7e9c0e545c;hb=8fcf37789bd93a48c1d05f67c52035bce5490686;hp=bfaddf432faf6fb1cc85a6649284233930c4bc21;hpb=1f5795fd45dcccc42e794089d14350c6b5c5fecd;p=brisk.git diff --git a/web/briskin5/Obj/briskin5.phh b/web/briskin5/Obj/briskin5.phh index bfaddf4..f2147d6 100644 --- a/web/briskin5/Obj/briskin5.phh +++ b/web/briskin5/Obj/briskin5.phh @@ -23,7 +23,7 @@ class Briskin5 { $this->the_end = FALSE; - if (($this->tok = ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { + if (($this->tok = @ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { echo "FTOK FAILED"; exit; } @@ -126,7 +126,7 @@ class Briskin5 { $shm = FALSE; log_wr("TABLE_IDX ".FTOK_PATH."/table".$table_idx); - if (($tok = ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { + if (($tok = @ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { echo "FTOK FAILED"; exit; } @@ -216,7 +216,7 @@ class Briskin5 { log_main("DESTROY2 BRISKIN5 DATA"); - if (($tok = ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) + if (($tok = @ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) break; if (($shm = shm_attach($tok, BRISKIN5_SHM_DIMS)) === FALSE)