matita/scripts/public_html/showquery.php

   1 <?php require("common.php");
   2
   3   $query = stripslashes($_GET['query']);
   4
   5   $nqs = explode('###',$query);
   6
   7   $qs = array();
   8   foreach($nqs as $v){
   9     $x = explode("@@@",$v);
  10     if ($x[1] == NULL) {
  11       $qs["Unnamed"] = $x[0];
  12     } else {
  13       $qs[$x[0]] = $x[1];
  14     }
  15   }
  16
  17 ?>
  18 <html>
  19   <head>
  20   <link type="text/css" rel="stylesheet" href="style.css"/>
  21   </head>
  22   <body>
  23     <h1>QUERY results</h1>
  24 <? foreach( $qs as $name => $q) { $i=0;?>
  25     <h2><? echo $name; ?></h2>
  26     <p>
  27     <tt><? echo $q; ?></tt>
  28     </p>
  29     <table border=1>
  30     <?  query($q,"printer"); ?>
  31     </table>
  32 <? } ?>
  33     <p><a href="bench.php">BACK to the query page</a></p>
  34   </body>
  35 </html>