projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
table recovery and external garbage_manager call recovery
[brisk.git]
/
web
/
briskin5
/
Obj
/
briskin5.phh
diff --git
a/web/briskin5/Obj/briskin5.phh
b/web/briskin5/Obj/briskin5.phh
index
2767c4e
..
bfaddf4
100644
(file)
--- a/
web/briskin5/Obj/briskin5.phh
+++ b/
web/briskin5/Obj/briskin5.phh
@@
-248,12
+248,13
@@
class Briskin5 {
log_wr("LOCK_DATA ".FTOK_PATH."/table".$table_idx);
// echo "LOCK: ".FTOK_PATH."/main";
// exit;
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 FAILED";
exit;
}
- //
echo "FTOK ".$tok."<br>";
- if (($res = sem_get($tok)) == FALSE) {
+ //
FIXME monitor this step
+ if (($res =
@
sem_get($tok)) == FALSE) {
echo "SEM_GET FAILED";
exit;
}
echo "SEM_GET FAILED";
exit;
}
@@
-437,7
+438,7
@@
function locshm_exists($tok)
{
// return (TRUE);
{
// return (TRUE);
- if (($id = shmop_open($tok,"a", 0, 0)) == FALSE) {
+ if (($id =
@
shmop_open($tok,"a", 0, 0)) == FALSE) {
log_main($tok." SHM NOT exists");
return (FALSE);
log_main($tok." SHM NOT exists");
return (FALSE);