copyright updated

[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
  *
- *  Copyright (C) 2006-2008 Matteo Nastasi
+ *  Copyright (C) 2006-2009 Matteo Nastasi
  *                          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 {
+    // 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);
+    */
   }
     
   if (($proxy_step = step_get($sess)) != FALSE) {