projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
comm to 18 elements
[brisk.git]
/
web
/
briskin5
/
index_rd.php
diff --git
a/web/briskin5/index_rd.php
b/web/briskin5/index_rd.php
index
234e7b4
..
d32d36c
100644
(file)
--- a/
web/briskin5/index_rd.php
+++ b/
web/briskin5/index_rd.php
@@
-177,10
+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");
- while (array_pop($user->comm) != NULL);
- // $user->step_inc(COMM_N + 1);
- Briskin5::save_data($bri);
+// 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);
}
@@
-316,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();