branch for universe

[helm.git] / matita / scripts / public_html / composequery.php

diff --git a/matita/scripts/public_html/composequery.php b/matita/scripts/public_html/composequery.php
new file mode 100644 (file)
index 0000000..1c7366d
--- /dev/null
+++ b/matita/scripts/public_html/composequery.php
@@ -0,0 +1,46 @@
+<?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, SUM(time) as sum_time, SUM(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;
+?>