X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbrisk.phh;h=fb006922261f1880175ff73cd389284797aa6078;hb=74cad9e7d70f147fa2977d4f5e471947853be5c7;hp=187566dbca4e4a1317c99fd1cceaad21a4463e0a;hpb=1c69ee7b4c75181cce331ce9d8a0a0eebc450059;p=brisk.git

diff --git a/web/brisk.phh b/web/brisk.phh
index 187566d..fb00692 100644
--- a/web/brisk.phh
+++ b/web/brisk.phh
@@ -55,7 +55,7 @@ Questa è un\'implementazione della briscola in cinque, così come &
 <b>Configurazione del browser.</b><br>
 Occorre abilitare i cookies.<br>
 Se usate <b>Internet Explorer 6</b> dovete settare: strumenti -> opzioni internet -> file temporanei:impostazioni->\\"verifica per nuove versioni della pagina scaricata\\" ad: \\"ogni volta che si visita la pagina\\".<br>
-Se usate <b>Internet Explorer 7</b> dovete settare: strumenti -> cronologia esplorazioni -> impostazioni ad \\"apertura alla pagina web\\".<br>
+Se usate <b>Internet Explorer 7</b> dovete settare: strumenti -> opzioni internet -> etichetta \\"Generale\\" -> cronologia esplorazioni -> impostazioni ad \\"apertura alla pagina web\\".<br>
 <br>
 <b>Uso del sito</b><br>
 Potete sedervi a un tavolo o rimanere in piedi.<br>
@@ -959,6 +959,16 @@ function log_auth($sess, $log) {
   }
 }
 
+function log_lock($sess, $log) {
+  if (BRISK_DEBUG != TRUE)
+    return;
+
+  if (($fp = @fopen("/tmp/brisk_lock.log", 'a')) != FALSE) {
+    fwrite($fp, sprintf("SESS: [%d] [%s] [%s]\n", time(), $sess, $log));
+    fclose($fp);
+  }
+}
+
 function log_wr($sess, $log) {
   if (BRISK_DEBUG != TRUE)
     return;
@@ -1012,14 +1022,17 @@ function lock_data()
     echo "SEM_GET FAILED";
     exit;
   }
-  if (sem_acquire($res)) 
+  if (sem_acquire($res)) {
+    log_lock($sess, "LOCK");
     return ($res);
+  }
   else
     return (false);
 }
 
 function unlock_data($res)
 {
+  log_lock($sess, "UNLOCK");
   return (sem_release($res));
 }
 
@@ -1053,7 +1066,7 @@ function &load_data()
     exit;
   }
 
-  if ($shm = shm_attach($tok,100000 * TABLES_N)) {
+  if ($shm = shm_attach($tok,200000 * TABLES_N)) {
     if(($bri = @shm_get_var($shm, $tok)) == false) {
       log_main("XXX", "INIT MAIN DATA");
 
@@ -1085,11 +1098,13 @@ function save_data(&$bri)
   do {
     $isacq = TRUE;
     
-    if (($shm = shm_attach($tok,100000 * TABLES_N)) == FALSE)
+    if (($shm = shm_attach($tok,200000 * TABLES_N)) == FALSE)
       break;
     
-    if (shm_put_var($shm, $tok, $bri) == FALSE)
+    if (shm_put_var($shm, $tok, $bri) == FALSE) {
+      echo "DANNO: ".strlen(serialize($bri));
       break;
+    }
     // log_main("XXX", "QUI CI ARRIVA [".$bri->user[0]->name."]");
     $ret = TRUE;
   } while (0);