X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbriskin5%2FObj%2Fbriskin5.phh;h=f2147d6e342a50829b2a221604faae7e9c0e545c;hb=9b3aaa36e632185c5dd838eda214397daf5a6357;hp=11c7df3a624763d3cece3c7d45e502b8ae6872e7;hpb=196926208788f38d8ca9813860f59bf2c4a33d2e;p=brisk.git diff --git a/web/briskin5/Obj/briskin5.phh b/web/briskin5/Obj/briskin5.phh index 11c7df3..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) @@ -248,12 +248,13 @@ class Briskin5 { log_wr("LOCK_DATA ".FTOK_PATH."/table".$table_idx); // echo "LOCK: ".FTOK_PATH."/main"; // exit; - if (($tok = ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { + // FIXME monitor this step + if (($tok = @ftok(FTOK_PATH."/table".$table_idx, "B")) == -1) { echo "FTOK FAILED"; exit; } - // echo "FTOK ".$tok."
"; - if (($res = sem_get($tok)) == FALSE) { + // FIXME monitor this step + if (($res = @sem_get($tok)) == FALSE) { echo "SEM_GET FAILED"; exit; }