// 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/>"; } }