Index: index.php
===================================================================
--- index.php	(revision 22)
+++ index.php	(revision 23)
@@ -34,7 +34,7 @@
 echo "<h3>Available files:</h3>\n";
 echo "<table border=0 cellpadding=2>";
 
- if ($dh = opendir($data_dir)) 
+ if ($dh = @opendir($data_dir)) 
  {
     while (($file = readdir($dh)) !== false) 
     {
@@ -68,11 +68,27 @@
     return;
     }
 
-if($file=="") return;
+
+
 $file=rawurldecode($file);
 $file=str_replace("/","",$file);
 $file=$data_dir.$file;
 
+if($type=="listRepos")
+    {
+    if($file==$data_dir)
+	$file="$data_dir/*";
+    foreach((array)glob($file) as $file)
+	{
+	if($file[0]!='.')
+	    echo trim(str_replace("/","",substr($file,strlen($data_dir))))."\n";
+	}
+    return;
+    }
+
+// For all next operations, consider $file as mandatory ...
+if($file=="") return;
+
 if($type=="putGzip")
 {
 if(!$upload_accept)
@@ -133,5 +149,5 @@
 }
 } // end main()
 
-main($file,$type,$username,$password,$data);
-?>
\ No newline at end of file
+main($_GET["file"],$_GET["type"],$_GET["username"],$_GET["password"],$_GET["data"]);
+?>