X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbriskin5%2Findex_rd.php;h=8c9576d87f9047a2c7795be04416009bddaa716b;hb=29ef3f7db6bc1d39c658a15d95d22e45bbd59c16;hp=234e7b46f0de80466d95072faa39575c465f0850;hpb=c14163f1c08c65ecc8f1c4ce9d7c7244a1526a51;p=brisk.git

diff --git a/web/briskin5/index_rd.php b/web/briskin5/index_rd.php
index 234e7b4..8c9576d 100644
--- a/web/briskin5/index_rd.php
+++ b/web/briskin5/index_rd.php
@@ -2,7 +2,10 @@
 /*
  *  brisk - index_rd.php
  *
- *  Copyright (C) 2006-2007 matteo.nastasi@milug.org
+ *  Copyright (C) 2006-2008 Matteo Nastasi
+ *                          mailto: nastasi@alternativeoutput.it 
+ *                                  matteo.nastasi@milug.org
+ *                          web: http://www.alternativeoutput.it
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -22,8 +25,15 @@
  */
 
 require_once("../Obj/brisk.phh");
+// require_once("../Obj/proxyscan.phh");
 require_once("Obj/briskin5.phh");
 
+// Use of proxies isn't allowed.
+// if (is_proxy()) {
+//   sleep(5);
+//   exit;
+// }
+
 log_load("LOAD: bin5/index_rd.php ".$QUERY_STRING);
 
 $first_loop = TRUE;
@@ -177,10 +187,12 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
     }
     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);
     }
@@ -287,6 +299,9 @@ $is_page_streaming =  ((stristr($HTTP_USER_AGENT, "linux") &&
 
 header("Cache-Control: no-cache, must-revalidate"); // HTTP/1.1
 header("Expires: Mon, 26 Jul 1997 05:00:00 GMT"); // Date in the past
+header('Content-type: application/xml; charset="utf-8"',true);
+// header('Content-type: text/plain; charset="utf-8"',true);
+// header('Content-type: text/html; charset="utf-8"',true);
 
 if (!isset($myfrom))
      $myfrom = "";