correct a bug

[brisk.git] / web / index_rd.php

diff --git a/web/index_rd.php b/web/index_rd.php
index 6c636b8..e0dee24 100644 (file)
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -22,8 +22,14 @@
  */
 
 require_once("Obj/brisk.phh");
+// require_once("Obj/proxyscan.phh");
 require_once("briskin5/Obj/briskin5.phh");
 
+// Use of proxies isn't allowed.
+// if (is_proxy()) {
+//   sleep(5);
+//   exit;
+//}
 log_load("index_rd.php");
 
 $first_loop = TRUE;
@@ -174,13 +180,15 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
       ignore_user_abort(FALSE);
     }
     else {
-       log_rd2("TRANS NON ATTIVATO, clean del comm array");
-       while (($el = array_pop($user->comm)) != NULL) { 
-         log_rd2("clean element [".$el."]");
-       }
-       //        $user->step_inc(COMM_N + 1);
-       Room::save_data($room);
-       //        $new_step = $user->step;
+       log_rd2("TRANS NON ATTIVATO");
+//        ARRAY_POP DISABLED
+//        log_rd2("TRANS NON ATTIVATO, clean del comm array");
+//        while (($el = array_pop($user->comm)) != NULL) { 
+//          log_rd2("clean element [".$el."]");
+//        }
+//        //        $user->step_inc(COMM_N + 1);
+//        Room::save_data($room);
+//        //        $new_step = $user->step;
         
        Room::unlock_data($sem);
        ignore_user_abort(FALSE);
@@ -246,13 +254,18 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
       if ($user->the_end == TRUE) {
        log_rd2("LOGOUT BYE BYE!!");
        log_auth($user->sess, "Explicit logout.");
+
+       $user->reset();
+       /* factorized with ->reset()
        $tmp_sess = $user->sess;
        $user->sess = "";
        step_unproxy($tmp_sess);
-       
        $user->name = "";
+       while (array_pop($user->comm) != NULL); 
+       $user->step = 0;
        $user->the_end = FALSE;
-       
+       */
+
        if ($user->subst == 'sitdown') {
          log_load("ROOM WAKEUP");
          $room->room_wakeup(&$user);
@@ -320,8 +333,8 @@ for ($i = 0 ; time() < $endtime ; $i++) {
   $old_subst = $subst;
   $old_step =  $step;
   // log_rd("POST MAIN ".$step);;
-  usleep(400000);
-  if (($i % 5) == 0) {
+  usleep(200000);
+  if (($i % 10) == 0) {
     // log_rd2("TIME: ".time());
     echo '_';
     flush();