fixed buggy optimization

[brisk.git] / web / index_rd.php

diff --git a/web/index_rd.php b/web/index_rd.php
index 51986e1..3f57f2d 100644 (file)
--- a/web/index_rd.php
+++ b/web/index_rd.php
@@ -174,9 +174,16 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
       ignore_user_abort(FALSE);
     }
     else {
-      log_rd2("TRANS NON ATTIVATO");
-      Room::unlock_data($sem);
-      ignore_user_abort(FALSE);
+       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);
     }
   }
       
@@ -188,10 +195,6 @@ function maincheck($sess, $cur_stat, $cur_subst, $cur_step, &$new_stat, &$new_su
       $ret .= show_room(&$room, $user->step, &$user);
 
       // TODO uncomment and test
-      // while (array_pop($user->comm) != NULL);
-      // $new_step = -1;
-      // $user->step_inc(COMM_N + 1);
-      // Room::save_data($room);
       /* NOTE the sets went common */
       $new_stat =  $user->stat;
       $new_subst = $user->subst;