un po' di modifiche

[brisk.git] / web / index_rd.php

diff --git a/web/index_rd.php b/web/index_rd.php
index bfa715c..6dcb6e9 100644 (file)
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -17,6 +17,8 @@
  * not, write to the Free Software Foundation, Inc, 59 Temple Place -
  * Suite 330, Boston, MA 02111-1307, USA.
  *
+ * $Id$
+ *
  */
 
 require_once("brisk.phh");
@@ -44,7 +46,7 @@ function unrecerror()
   GLOBAL $is_page_streaming;
 
   $is_page_streaming = TRUE;
-  return (sprintf('the_end=true; document.location.assign("index.php");'));
+  return (sprintf('the_end=true; window.onunload = null; document.location.assign("index.php");'));
 }