cast to int for incoming table_idx values

[brisk.git] / web / briskin5 / index_wr.php

diff --git a/web/briskin5/index_wr.php b/web/briskin5/index_wr.php
index e755965..f358440 100644 (file)
--- 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;