fetchInto($row)) { echo "\n"; foreach ($props as $key) { if ( isset($_POST[$key]) && $key!='jobid' && $key!='system') { $data[$key]=array_shift($row); echo "\n"; } } echo "

".$key."

";
		        if ( $key=="time_epoch" )
		        {
		            echo date("Y-m-d H:i:s",$data[$key]);
		        }
		        else
		        {
		            echo htmlspecialchars($data[$key]);
		        }
		echo "

\n"; } db_disconnect($db); //bookmarkable_url(); } else { begin_form("gpu-info.php"); text_field("Job id","jobid",8); system_chooser(); date_fields(); checkboxes_from_array("Properties",$props); echo "
"; ## This will handle exporting.... checkbox("Generate CSV files for supplemental reports","csv"); checkbox("Generate Excel files for supplemental reports","xls"); checkbox("Generate ODF files for supplemental reports","ods"); end_form(); } page_footer(); ?>