cast to int for incoming table_idx values

[brisk.git] / web / index_wr.php

diff --git a/web/index_wr.php b/web/index_wr.php
index 5141092..43be553 100644 (file)
--- 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 ||