From 1f106d3bc82e9719222d91313cd8e9e433ea099d Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sat, 26 Jan 2008 15:27:54 +0000
Subject: [PATCH] recovery from table supported

---
 web/index.php | 56 +++++++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 50 insertions(+), 6 deletions(-)

diff --git a/web/index.php b/web/index.php
index d7d1755..73868dd 100644
--- a/web/index.php
+++ b/web/index.php
@@ -22,6 +22,7 @@
  */
 
 require_once("Obj/brisk.phh");
+require_once("briskin5/Obj/briskin5.phh");
 if (DEBUGGING == "local" && $_SERVER['REMOTE_ADDR'] != '127.0.0.1') {
   echo "Debugging time!";
   exit;
@@ -31,7 +32,7 @@ log_load((isset($sess) ? $sess : "XXX"), "LOAD: index.php");
 
 function main()
 {
-  GLOBAL $sess, $name, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
+  GLOBAL $sess, $name, $table_idx, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
   
   $body = "";
   $tables = "";
@@ -41,23 +42,66 @@ function main()
   if (isset($BRISK_SHOWHTML) == FALSE) {
     $is_table = FALSE;
     $sem = Room::lock_data();
+    log_load($sess, "lock Room");
     $room = &Room::load_data();
     
     /* Actions */
     if (validate_sess($sess)) {
-      $room->garbage_manager(TRUE);
+      // FIXME uncomment $room->garbage_manager(TRUE);
       if (($user = &$room->get_user($sess, &$idx)) != FALSE) {
 	if ($user->stat == "table") {
-	  header ("Location: table.php");
-	  Room::unlock_data($sem);
-	  exit;
+	  $change_page = TRUE;
+	  log_load($sess, "resync from index.php");
+
+	  if (isset($table_idx)) {
+	    $table_idx = (int)$table_idx;
+	    log_load($sess, "SET TABLE_IDX <yy".$table_idx.">".TABLES_N);
+	    if ($table_idx >= 0 && $table_idx < TABLES_N) {
+	      log_load($sess, "SET TABLE_IDX GOOD VALUE");
+	      $bri_sem = Briskin5::lock_data($table_idx);
+	      $bri = &Briskin5::load_data($table_idx);
+
+	      if (($bri_user = &$bri->get_user($sess, &$bri_idx)) != FALSE) {
+		if ($bri_user->subst == "shutdowned" || $bri_user->subst == "shutdowner") {
+		  // QUI WAKEUP
+		  $table     = &$room->table[$user->table];
+		  $bri_table = &$bri->table[0];
+
+		  for ($i = 0 ; $i < $bri_table->player_n ; $i++) {
+		    $room->user[$table->player[$i]]->subst = $bri->user[$i]->subst;
+		    $room->user[$table->player[$i]]->step = $bri->user[$i]->step;
+		    $room->user[$table->player[$i]]->trans_step = $bri->user[$i]->step+1;
+		    log_load($sess, "from table bri subst[".$i."]: ".$bri->user[$i]->subst);
+		    log_load($sess, "from table roo subst[".$i."]: ".$room->user[$table->player[$i]]->subst);
+		  }
+
+		  $room->room_join_wakeup(&$user);
+
+		  if (Room::save_data(&$room) == FALSE) {
+		    echo "ERRORE SALVATAGGIO\n";
+		    exit;
+		  }
+
+		  $change_page = FALSE;
+		}
+		log_load($sess, "from table subst: ".$bri_user->subst);
+	      }
+	      Briskin5::unlock_data($bri_sem);
+	    }
+	  }
+	  log_load($sess, "unlock Room");
+	  if ($change_page) {
+	    Room::unlock_data($sem);
+	    header ("Location: table.php");
+	    exit;
+	  }
 	}
 	$ACTION = "room";
       }
     }
     
     if ($ACTION == "login" && isset($name)) {
-      $room->garbage_manager(TRUE);
+      // FIXME uncomment $room->garbage_manager(TRUE);
       /* try login */
       if (($user = &$room->add_user(&$sess, &$idx, $name, $_SERVER['REMOTE_ADDR'])) != FALSE) {
 	$ACTION = "room";
-- 
2.17.1