cast to int for incoming table_idx values
[brisk.git] / web / briskin5 /
2008-11-22 Matteo Nastasi ... max len input bug fixed
2008-10-13 Matteo Nastasi ... merge with spawn branch