= '".$_POST['error_time']."' ORDER BY end_ts-UNIX_TIMESTAMP('".$_POST['error_time']."') LIMIT 1;";
#echo "
".$sql,"
\n";
$result = db_query($db,$sql);
while ($result->fetchInto($row))
{
echo "\n";
foreach ($keys as $key)
{
if ( isset($_POST[$key]) && $key!='error_time' && $key!='program' )
{
$data[$key]=array_shift($row);
echo "".$key." | ";
if ( $key=="submit_ts" || $key=="start_ts" || $key=="end_ts" )
{
echo date("Y-m-d H:i:s",$data[$key]);
}
else
{
echo htmlspecialchars($data[$key]);
}
echo " |
\n";
}
}
echo "
\n";
}
db_disconnect($db);
bookmarkable_url();
}
else
{
begin_form("error-correlator.php");
text_field("Error date/time (YYYY-MM-DD HH:MM:SS)","error_time",20);
text_field("Executable","program",8);
hidden_field("jobid","unknown");
system_chooser();
checkboxes_from_array("Properties",$props);
end_form();
}
page_footer();
?>