]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4ee27d1)
go
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Mar 2006 10:04:13 +0000 (10:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Mar 2006 10:04:13 +0000 (10:04 +0000)
matita/scripts/public_html/common.php patch | blob | history
matita/scripts/public_html/showquery.php patch | blob | history

diff --git a/matita/scripts/public_html/common.php b/matita/scripts/public_html/common.php
index ca853603da39838e3ab1cc239fa555b3f8c090ff..6668b6d683d870223acad6a5c942111060809554 100644 (file)
--- a/matita/scripts/public_html/common.php
+++ b/matita/scripts/public_html/common.php
@@ -1,5 +1,7 @@
 <?php
 
+$i = 0;
+  
 function array_to_combo($a) {
   foreach($a as $k => $v){
     echo "<option value=\"{$v}\">{$v}</option>";
diff --git a/matita/scripts/public_html/showquery.php b/matita/scripts/public_html/showquery.php
index 886cb3390cb1f5b5c2411be5802c810e6c4994c2..8b54a76fafa3011b74be89736dcbb32f6c2ee52c 100644 (file)
--- a/matita/scripts/public_html/showquery.php
+++ b/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>
Unnamed repository; edit this file 'description' to name the repository.