+++ /dev/null
-<?php require("common.php");
-
- $query = stripslashes($_GET['query']);
-
- $nqs = explode('###',$query);
-
- $qs = array();
- foreach($nqs as $v){
- $x = explode("@@@",$v);
- $qs[$x[0]] = $x[1];
- }
-
-function prettify($s) {
- if (preg_match("/^[0-9]{12}$/",$s)) {
- $year = substr($s,0,4);
- $month = substr($s,4,2);
- $day = substr($s,6,2);
- $hour = substr($s,8,2);
- $minute = substr($s,10,2);
- return $day . "/" . $month . "/" . $year . " " . $hour . ":" . $minute;
- } else
- return $s;
-}
-
-?>
-<html>
- <head>
- <link type="text/css" rel="stylesheet" href="style.css"/>
- </head>
- <body>
- <h1>QUERY results</h1>
-<? foreach( $qs as $name => $q) { ?>
- <h2><? echo $name; ?></h2>
- <p>
- <tt><? print $q; ?></tt>
- </p>
- <table border=1>
- <?
- $q = query($q);
- echo "<tr>";
- foreach( $q[0] as $name => $txt) {
- echo "<th>$name</th>";
- }
- echo "</tr>\n";
- $i=0;
- foreach ($q as $k => $v) {
- $i = $i + 1;
- if ( $i%2 == 0)
- echo "<tr class=\"even\">";
- else
- echo "<tr class=\"odd\">";
- foreach( $v as $name => $txt) {
- echo "<td>" . prettify($txt) . "</td>";
- }
- echo "</tr>\n";
- }
- ?>
- </table>
-<? } ?>
- <p><a href="bench.php">BACK to the query page</a></p>
- </body>
-</html>