// define(DEBUGGING, "local");
$G_all_points = array( 11,10,4,3,2, 0,0,0,0,0 );
-$G_brisk_version = "0.7.0";
+$G_brisk_version = "0.7.1";
$root_wellarr = Array ( 'Benvenuto in brisk (Ver. '.$G_brisk_version.'), <b>NOVITA\'</b>: ottimizzazione della CPU e chiuso il bug di mancato cambio pagina.',
'Se vuoi iscriverti alla <a target="_blank" href="http://www.milug.org/cgi-bin/mailman/listinfo/ml-briscola">Mailing List</a>, cliccala!' );
function step_unproxy($sess) {
log_rd2($sess, "UNPROXY: ".PROXY_PATH."/".$sess.".step");
- unlink(PROXY_PATH."/".$sess.".step");
+ @unlink(PROXY_PATH."/".$sess.".step");
}