projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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 ||