From f4afdf81ecddcfa6490fe164bc431c2110dee54b Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.com>
Date: Sun, 4 Dec 2011 10:17:39 +0100
Subject: [PATCH] cast to int for incoming table_idx values

---
 web/briskin5/index_wr.php | 1 +
 web/index_wr.php          | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/briskin5/index_wr.php b/web/briskin5/index_wr.php
index e755965..f358440 100644
--- a/web/briskin5/index_wr.php
+++ b/web/briskin5/index_wr.php
@@ -47,6 +47,7 @@ log_load("bin5/index_wr.php");
  */
 log_wr('COMM: '.$mesg);
 
+$table_idx = (int)$table_idx;
 if ($table_idx < 0 || $table_idx >= TABLE_N)
      exit;
 
diff --git a/web/index_wr.php b/web/index_wr.php
index 5141092..43be553 100644
--- a/web/index_wr.php
+++ b/web/index_wr.php
@@ -503,7 +503,7 @@ else if ($user->stat == 'room') {
       }
 
       // Take parameters
-      $table_idx = $argz[1];
+      $table_idx = (int)$argz[1];
       $table = &$room->table[$table_idx];
     
       if ($G_shutdown || $table->wakeup_time > $curtime || 
-- 
2.17.1