// Set the page number
if (isset($_GET['page'])) {
$page = $_GET['page'];
}
if (!isset($_GET['page']) || !preg_match('/^[0-9]+$/', $_GET['page']) || $_GET['page'] < 1) {
$page = 1;
} else {
if ($_GET['page'] > $total_pages) {
$page = $total_pages;
}
}
$start_row = page_to_row($page, $rows_per_page);
$stmt =& paged_result($conn, $sql, $binds, $start_row, $rows_per_page);
$runselect_headers = get_runselect_headers();
$nruncols = count($runselect_headers);
$datatypes = get_datatype_array();
$ndisplay = 0;
foreach ($datatypes as $name => $prefix) {
if (isset($_GET[$prefix])) {
$ndisplay++;
}
}
// Start drawing the page
// Top header and plot select
echo "<table><tr><td>";
// Result information
echo "<h3>{$total_rows} runs returned - {$sum_events} events</h3>";
echo "<h6>Showing page {$page} of {$total_pages}, {$rows_per_page} runs per page</h6>";
echo "</td><td>";
// Help information?
foreach ($datatypes as $name => $prefix) {
function draw_interested_box()
{
$datatypes = get_datatype_array();
foreach ($datatypes as $name => $prefix) {
echo "<input type='checkbox' name='{$prefix}'>{$name}<br/>";
}
}
