projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
factorized user reset (and comm array clean added)
[brisk.git]
/
web
/
briskin5
/
index_rd.php
diff --git
a/web/briskin5/index_rd.php
b/web/briskin5/index_rd.php
index
90679de
..
d32d36c
100644
(file)
--- a/
web/briskin5/index_rd.php
+++ b/
web/briskin5/index_rd.php
@@
-99,7
+99,7
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
$first_loop = FALSE;
}
$first_loop = FALSE;
}
- log_
only
("U");
+ log_
lock
("U");
Briskin5::unlock_data($sem);
ignore_user_abort(FALSE);
}
Briskin5::unlock_data($sem);
ignore_user_abort(FALSE);
}
@@
-111,7
+111,7
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
// log_rd2("Postget".$proxy_step."zizi");
if ($cur_step == $proxy_step) {
// log_rd2("Postget".$proxy_step."zizi");
if ($cur_step == $proxy_step) {
- log_
only2
("P");
+ log_
lock
("P");
return (FALSE);
}
else {
return (FALSE);
}
else {
@@
-128,7
+128,7
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
if (($sem = Briskin5::lock_data($table_idx)) == FALSE)
break;
if (($sem = Briskin5::lock_data($table_idx)) == FALSE)
break;
- log_
only
("P");
+ log_
lock
("P");
if (($bri = &Briskin5::load_data($table_idx, $table_token)) == FALSE)
break;
} while (0);
if (($bri = &Briskin5::load_data($table_idx, $table_token)) == FALSE)
break;
} while (0);
@@
-177,6
+177,12
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
}
else {
log_rd2("TRANS NON ATTIVATO");
}
else {
log_rd2("TRANS NON ATTIVATO");
+
+// ARRAY_POP DISABLED
+// while (array_pop($user->comm) != NULL);
+// // $user->step_inc(COMM_N + 1);
+// Briskin5::save_data($bri);
+
Briskin5::unlock_data($sem);
ignore_user_abort(FALSE);
}
Briskin5::unlock_data($sem);
ignore_user_abort(FALSE);
}
@@
-312,8
+318,8
@@
for ($i = 0 ; time() < $endtime ; $i++) {
$old_subst = $subst;
$old_step = $step;
// log_rd("POST MAIN ".$step);;
$old_subst = $subst;
$old_step = $step;
// log_rd("POST MAIN ".$step);;
- usleep(
4
00000);
- if (($i %
5
) == 0) {
+ usleep(
2
00000);
+ if (($i %
10
) == 0) {
// log_rd2("TIME: ".time());
echo '_';
flush();
// log_rd2("TIME: ".time());
echo '_';
flush();