From 5918d37b0c8f041c7cb5f4d469bf5820f39902d7 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sun, 3 Jun 2007 10:25:22 +0000
Subject: [PATCH] minor changes

---
 web/brisk.phh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/brisk.phh b/web/brisk.phh
index fb00692..111660f 100644
--- a/web/brisk.phh
+++ b/web/brisk.phh
@@ -40,7 +40,7 @@ define(BRISK_DEBUG, FALSE);
 // 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!' );
@@ -456,7 +456,7 @@ function step_get($sess) {
 
 function step_unproxy($sess) {
   log_rd2($sess, "UNPROXY: ".PROXY_PATH."/".$sess.".step");
-  unlink(PROXY_PATH."/".$sess.".step");
+  @unlink(PROXY_PATH."/".$sess.".step");
 }
 
 
-- 
2.17.1