From 1e3ae80924342e436b2100e5631e6fd58d4af79d Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Mon, 14 Mar 2011 20:43:59 +0100
Subject: [PATCH] setPlayer getPlayer renamed in player_set, player_get methods
 in Table class (brisk.phh)

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

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index f303170..82a95ce 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -481,12 +481,12 @@ class Table {
     $this->wag_tout = $timeout;
   }
 
-  function getPlayer($idx)
+  function player_get($idx)
   {
     return ($this->player[$idx]);
   }
 
-  function setPlayer($idx, $player)
+  function player_set($idx, $player)
   {
     $this->player[$idx] = $player;
   }
-- 
2.17.1