projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Poll class added
[brisk.git]
/
web
/
index_rd.php
diff --git
a/web/index_rd.php
b/web/index_rd.php
index
8f724d1
..
da00f1d
100644
(file)
--- a/
web/index_rd.php
+++ b/
web/index_rd.php
@@
-2,7
+2,7
@@
/*
* brisk - index_rd.php
*
/*
* brisk - index_rd.php
*
- * Copyright (C) 2006-200
8
Matteo Nastasi
+ * Copyright (C) 2006-200
9
Matteo Nastasi
* mailto: nastasi@alternativeoutput.it
* matteo.nastasi@milug.org
* web: http://www.alternativeoutput.it
* mailto: nastasi@alternativeoutput.it
* matteo.nastasi@milug.org
* web: http://www.alternativeoutput.it
@@
-110,7
+110,14
@@
function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
ignore_user_abort(FALSE);
}
else {
ignore_user_abort(FALSE);
}
else {
+ // wait 20 secs, then restart the xhr
+ ignore_user_abort(FALSE);
+
+ return ("sleep(gst,20000);|xhr_rd_abort(xhr_rd);");
+ /*
+ ignore_user_abort(FALSE);
return (FALSE);
return (FALSE);
+ */
}
if (($proxy_step = step_get($sess)) != FALSE) {
}
if (($proxy_step = step_get($sess)) != FALSE) {