projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
webstart layout enhancement
[brisk.git]
/
web
/
index_rd.php
diff --git
a/web/index_rd.php
b/web/index_rd.php
index
ec0f47c
..
b88ce99
100644
(file)
--- a/
web/index_rd.php
+++ b/
web/index_rd.php
@@
-103,9
+103,15
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
// log_rd2($sess, "Postget".$proxy_step."zizi");
if ($cur_step == $proxy_step) {
// log_rd2($sess, "Postget".$proxy_step."zizi");
if ($cur_step == $proxy_step) {
- log_
rd
2($sess, "P");
+ log_
only
2($sess, "P");
return (FALSE);
}
return (FALSE);
}
+ else {
+ log_only2($sess, "R");
+ }
+ }
+ else {
+ log_only2($sess, "R");
}
if ($bri == FALSE) {
}
if ($bri == FALSE) {
@@
-291,8
+297,8
@@
for ($i = 0 ; time() < $endtime ; $i++) {
$old_subst = $subst;
$old_step = $step;
// log_rd($sess, "POST MAIN ".$step);;
$old_subst = $subst;
$old_step = $step;
// log_rd($sess, "POST MAIN ".$step);;
- usleep(
2
00000);
- if (($i %
10
) == 0) {
+ usleep(
4
00000);
+ if (($i %
5
) == 0) {
// log_rd2($sess, "TIME: ".time());
echo '_';
flush();
// log_rd2($sess, "TIME: ".time());
echo '_';
flush();