X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fcomposequery.php;fp=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fcomposequery.php;h=0000000000000000000000000000000000000000;hb=55b82bd235d82ff7f0a40d980effe1efde1f5073;hp=49a943e47b61f5f443de93261ccec984078c3822;hpb=771ee8b9d122fa963881c876e86f90531bb7434f;p=helm.git

diff --git a/helm/matita/scripts/public_html/composequery.php b/helm/matita/scripts/public_html/composequery.php
deleted file mode 100644
index 49a943e47..000000000
--- a/helm/matita/scripts/public_html/composequery.php
+++ /dev/null
@@ -1,46 +0,0 @@
-<?php require("common.php"); 
-  
-  $c = array("mark", "options", "test", "result", "compilation");
-
-  function clause_for($c) {
-    $fst = true;
-    $rc = "";
-    foreach($c as $fake => $x) {
-      $v = $_GET[$x];
-      if($v != "--") {
-        if($fst == false) {
-          $rc = $rc . " and "; 
-        } else {
-          $rc = $rc . " ";
-        }
-        $fst = false;
-        $rc = $rc . $x . " = '" . $v . "'";
-      }
-    }
-    return $rc;
-  }
-  
-  $gb = $_GET['groupby'];
-  $limit = $_GET['limit'];
-  if($gb != "--")
-    $what = "mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser";
-  else
-    $what = "mark, time, timeuser, compilation, test, result, options";
-  $clause = clause_for($c);
-  if($clause != "")
-    $query = "select $what from bench where " .  clause_for($c);
-  else
-    $query = "select $what from bench ";
-  if( $gb != "--"){
-    $query = $query. "group by $gb";
-  }
-
-  if($limit != "--") {
-    $query = $query. " LIMIT 0,$limit";
-  }
-
-   $query = $query. ";"; 
-
-   header("Location: showquery.php?query=".urlencode("Custom:@@@" . $query));
-   exit;
-?>