go

[helm.git] / helm / software / matita / scripts / public_html / showquery.php
diff --git a/helm/software/matita/scripts/public_html/showquery.php b/helm/software/matita/scripts/public_html/showquery.php

index 886cb3390cb1f5b5c2411be5802c810e6c4994c2..8b54a76fafa3011b74be89736dcbb32f6c2ee52c 100644 (file)
--- a/helm/software/matita/scripts/public_html/showquery.php
+++ b/helm/software/matita/scripts/public_html/showquery.php
@@ -28,7 +28,7 @@ function prettify($s,$name) {
  }
    
  function printer($q){
-  static $i = 0;
+  global $i;
    echo "<tr>";
    if ( $i == 0) {
        foreach( $q as $name => $txt) {
@@ -54,7 +54,7 @@ function printer($q){
    </head>
    <body>
      <h1>QUERY results</h1>
-<? foreach( $qs as $name => $q) { ?>
+<? foreach( $qs as $name => $q) { $i=0;?>
      <h2><? echo $name; ?></h2>
      <p>
      <tt><? print $q; ?></tt>