X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbrisk.phh;h=1fe3f1295eabb20243aebc1c589c5f5cee9a7530;hb=c0e10f57f23510ffcfaf403adff20e18dc46e5b4;hp=9d033ffbb7879072d5b8ac6dc047b4ae0a9c5944;hpb=c263ac9f211e849fc05a98198a2542978f19d948;p=brisk.git
diff --git a/web/brisk.phh b/web/brisk.phh
index 9d033ff..1fe3f12 100644
--- a/web/brisk.phh
+++ b/web/brisk.phh
@@ -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.'), NOVITA\': nuovo layout che permette più tavoli, più tavoli.',
'Se vuoi iscriverti alla Mailing List, cliccala!' );
@@ -1155,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));