webstart layout enhancement
[brisk.git] / web / brisk.phh
index 60eed4c..1fe3f12 100644 (file)
@@ -44,7 +44,7 @@ define(BRISK_DEBUG, FALSE);
 $G_false = FALSE;
 
 $G_all_points = array( 11,10,4,3,2, 0,0,0,0,0 );
-$G_brisk_version = "0.8.0";
+$G_brisk_version = "0.8.2";
 
 $root_wellarr = Array ( 'Benvenuto in brisk (Ver. '.$G_brisk_version.'), <b>NOVITA\'</b>: nuovo layout che permette pi&ugrave; tavoli, pi&ugrave; tavoli.',
                         'Se vuoi iscriverti alla <a target="_blank" href="http://www.milug.org/cgi-bin/mailman/listinfo/ml-briscola">Mailing List</a>, cliccala!' );
@@ -764,7 +764,7 @@ class brisco {
            $table = &$this->table[$user->table];
            
            $user_cur->comm[$user_cur->step % COMM_N] = "gst.st = ".($user_cur->step+1)."; ";
-           $user_cur->comm[$user_cur->step % COMM_N] = sprintf('set_names(" %s", " %s", " %s", " %s", " %s"); ',
+           $user_cur->comm[$user_cur->step % COMM_N] .= sprintf('set_names(" %s", " %s", " %s", " %s", " %s"); ',
                xcape($this->user[$table->player[($user_cur->table_pos)%PLAYERS_N]]->name),
                xcape($this->user[$table->player[($user_cur->table_pos+1)%PLAYERS_N]]->name),
                xcape($this->user[$table->player[($user_cur->table_pos+2)%PLAYERS_N]]->name),
@@ -924,6 +924,17 @@ function make_seed()
   return (float) $sec + ((float) $usec * 100000);
 }
 
+function log_only2($sess, $log) {
+  if (BRISK_DEBUG != TRUE)
+    return;
+  
+
+  if (($fp = @fopen("/tmp/brisk_only2.log", 'a')) != FALSE) {
+    fwrite($fp, sprintf("SESS: [%s] [%s]\n", $sess, $log));
+    fclose($fp);
+  }
+}
+
 function log_only($sess, $log) {
   if (BRISK_DEBUG != TRUE)
     return;
@@ -1144,7 +1155,7 @@ function save_data(&$bri)
     if (($shm = shm_attach($tok, SHM_DIMS)) == FALSE)
       break;
     
-    log_only($sess, "PUT_VAR DI ".strlen(serialize($bri)));
+    // log_only($sess, "PUT_VAR DI ".strlen(serialize($bri)));
     if (shm_put_var($shm, $tok, $bri) == FALSE) {
       log_only($sess, "PUT_VAR FALLITA ".strlen(serialize($bri)));
       log_only($sess, serialize($bri));